RO | Instances | AgroPortal

ID	http://purl.obolibrary.org/obo/RO_0001902 http://purl.obolibrary.org/obo/RO_0001902 https://agroportal.lirmm.fr/ontologies/RO/RO_0001902 Loading
Label	relation has no temporal argument
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)