| ID |
http://purl.obolibrary.org/obo/RO_0001902
http://purl.obolibrary.org/obo/RO_0001902
https://agroportal.lirmm.fr/ontologies/RO/RO_0001902
|
| 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) |
