{"@context":{"obo_purl":"http://purl.obolibrary.org/obo/","rdf":"http://www.w3.org/1999/02/22-rdf-syntax-ns#","owl":"http://www.w3.org/2002/07/owl#","rdfs":"http://www.w3.org/2000/01/rdf-schema#"},"@id":"obo_purl:RO_0001902","@type":"owl:NamedIndividual","rdfs:label":{"@language":"en","@value":"relation has no temporal argument"},"obo_purl:IAO_0000115":"## Elucidation\n\nThis is used when the first-order logic form of the relation is\nbinary, and takes no temporal argument.\n\n## Example:\n\n Class: limb\n SubClassOf: develops_from some lateral-plate-mesoderm\n\n forall t, t2:\n forall x :\n instance_of(x,Limb,t)\n implies\n exists y :\n instance_of(y,LPM,t2)\n develops_from(x,y)"}