<?xml version="1.0" encoding="UTF-8"?>
<rdf:RDF xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:obo_purl="http://purl.obolibrary.org/obo/" xmlns:owl="http://www.w3.org/2002/07/owl#" xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#">
<owl:NamedIndividual rdf:about="http://purl.obolibrary.org/obo/RO_0001902">
<rdfs:label xml:lang="en">relation has no temporal argument</rdfs:label>
<obo_purl:IAO_0000115>## Elucidation
This is used when the first-order logic form of the relation is
binary, and takes no temporal argument.
## Example:
Class: limb
SubClassOf: develops_from some lateral-plate-mesoderm
forall t, t2:
forall x :
instance_of(x,Limb,t)
implies
exists y :
instance_of(y,LPM,t2)
develops_from(x,y)</obo_purl:IAO_0000115>
</owl:NamedIndividual>
</rdf:RDF>
<?xml version="1.0" encoding="UTF-8"?>
<rdf:RDF xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:obo_purl="http://purl.obolibrary.org/obo/" xmlns:owl="http://www.w3.org/2002/07/owl#" xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#">
<owl:NamedIndividual rdf:about="http://purl.obolibrary.org/obo/RO_0001902">
<rdfs:label xml:lang="en">relation has no temporal argument</rdfs:label>
<obo_purl:IAO_0000115>## Elucidation
This is used when the first-order logic form of the relation is
binary, and takes no temporal argument.
## Example:
Class: limb
SubClassOf: develops_from some lateral-plate-mesoderm
forall t, t2:
forall x :
instance_of(x,Limb,t)
implies
exists y :
instance_of(y,LPM,t2)
develops_from(x,y)</obo_purl:IAO_0000115>
</owl:NamedIndividual>
</rdf:RDF>