{"@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#"},"@graph":[{"@id":"obo_purl:RO_0001901","@type":"owl:NamedIndividual","rdfs:label":{"@language":"en","@value":"axiom holds for all times"},"obo_purl:IAO_0000115":"## Elucidation\n\nThis is used when the statement/axiom is assumed to hold true 'eternally'\n\n## How to interpret (informal)\n\nFirst the "atemporal" FOL is derived from the OWL using the standard\ninterpretation. This axiom is temporalized by embedding the axiom\nwithin a for-all-times quantified sentence. The t argument is added to\nall instantiation predicates and predicates that use this relation.\n\n## Example\n\n Class: nucleus\n SubClassOf: part_of some cell\n\n forall t :\n forall n :\n instance_of(n,Nucleus,t)\n implies\n exists c :\n instance_of(c,Cell,t)\n part_of(n,c,t)\n\n## Notes\n\nThis interpretation is *not* the same as an at-all-times relation"},{"@id":"obo_purl:BFO_0000050","obo_purl:RO_0001900":{"@id":"obo_purl:RO_0001901"}},{"@id":"obo_purl:BFO_0000051","obo_purl:RO_0001900":{"@id":"obo_purl:RO_0001901"}},{"@id":"obo_purl:RO_0000052","obo_purl:RO_0001900":{"@id":"obo_purl:RO_0001901"}},{"@id":"obo_purl:RO_0000053","obo_purl:RO_0001900":{"@id":"obo_purl:RO_0001901"}},{"@id":"obo_purl:RO_0002131","obo_purl:RO_0001900":{"@id":"obo_purl:RO_0001901"}},{"@id":"obo_purl:RO_0000300","obo_purl:RO_0001900":{"@id":"obo_purl:RO_0001901"}},{"@id":"obo_purl:RO_0000301","obo_purl:RO_0001900":{"@id":"obo_purl:RO_0001901"}},{"@id":"obo_purl:RO_0000302","obo_purl:RO_0001900":{"@id":"obo_purl:RO_0001901"}},{"@id":"obo_purl:RO_0001015","obo_purl:RO_0001900":{"@id":"obo_purl:RO_0001901"}},{"@id":"obo_purl:RO_0002000","obo_purl:RO_0001900":{"@id":"obo_purl:RO_0001901"}},{"@id":"obo_purl:RO_0002001","obo_purl:RO_0001900":{"@id":"obo_purl:RO_0001901"}},{"@id":"obo_purl:RO_0002002","obo_purl:RO_0001900":{"@id":"obo_purl:RO_0001901"}},{"@id":"obo_purl:RO_0002100","obo_purl:RO_0001900":{"@id":"obo_purl:RO_0001901"}},{"@id":"obo_purl:RO_0002101","obo_purl:RO_0001900":{"@id":"obo_purl:RO_0001901"}},{"@id":"obo_purl:RO_0002102","obo_purl:RO_0001900":{"@id":"obo_purl:RO_0001901"}},{"@id":"obo_purl:RO_0002103","obo_purl:RO_0001900":{"@id":"obo_purl:RO_0001901"}},{"@id":"obo_purl:RO_0002104","obo_purl:RO_0001900":{"@id":"obo_purl:RO_0001901"}},{"@id":"obo_purl:RO_0002105","obo_purl:RO_0001900":{"@id":"obo_purl:RO_0001901"}},{"@id":"obo_purl:RO_0002106","obo_purl:RO_0001900":{"@id":"obo_purl:RO_0001901"}},{"@id":"obo_purl:RO_0002107","obo_purl:RO_0001900":{"@id":"obo_purl:RO_0001901"}},{"@id":"obo_purl:RO_0002108","obo_purl:RO_0001900":{"@id":"obo_purl:RO_0001901"}},{"@id":"obo_purl:RO_0002109","obo_purl:RO_0001900":{"@id":"obo_purl:RO_0001901"}},{"@id":"obo_purl:RO_0002110","obo_purl:RO_0001900":{"@id":"obo_purl:RO_0001901"}},{"@id":"obo_purl:RO_0002112","obo_purl:RO_0001900":{"@id":"obo_purl:RO_0001901"}},{"@id":"obo_purl:RO_0002113","obo_purl:RO_0001900":{"@id":"obo_purl:RO_0001901"}},{"@id":"obo_purl:RO_0002114","obo_purl:RO_0001900":{"@id":"obo_purl:RO_0001901"}},{"@id":"obo_purl:RO_0002115","obo_purl:RO_0001900":{"@id":"obo_purl:RO_0001901"}},{"@id":"obo_purl:RO_0002120","obo_purl:RO_0001900":{"@id":"obo_purl:RO_0001901"}},{"@id":"obo_purl:RO_0002121","obo_purl:RO_0001900":{"@id":"obo_purl:RO_0001901"}},{"@id":"obo_purl:RO_0002130","obo_purl:RO_0001900":{"@id":"obo_purl:RO_0001901"}},{"@id":"obo_purl:RO_0002132","obo_purl:RO_0001900":{"@id":"obo_purl:RO_0001901"}},{"@id":"obo_purl:RO_0002134","obo_purl:RO_0001900":{"@id":"obo_purl:RO_0001901"}},{"@id":"obo_purl:RO_0002150","obo_purl:RO_0001900":{"@id":"obo_purl:RO_0001901"}},{"@id":"obo_purl:RO_0002151","obo_purl:RO_0001900":{"@id":"obo_purl:RO_0001901"}},{"@id":"obo_purl:RO_0002163","obo_purl:RO_0001900":{"@id":"obo_purl:RO_0001901"}},{"@id":"obo_purl:RO_0002180","obo_purl:RO_0001900":{"@id":"obo_purl:RO_0001901"}},{"@id":"obo_purl:RO_0002219","obo_purl:RO_0001900":{"@id":"obo_purl:RO_0001901"}},{"@id":"obo_purl:RO_0002220","obo_purl:RO_0001900":{"@id":"obo_purl:RO_0001901"}},{"@id":"obo_purl:RO_0002221","obo_purl:RO_0001900":{"@id":"obo_purl:RO_0001901"}},{"@id":"obo_purl:RO_0002314","obo_purl:RO_0001900":{"@id":"obo_purl:RO_0001901"}},{"@id":"obo_purl:RO_0002323","obo_purl:RO_0001900":{"@id":"obo_purl:RO_0001901"}},{"@id":"obo_purl:RO_0002350","obo_purl:RO_0001900":{"@id":"obo_purl:RO_0001901"}},{"@id":"obo_purl:RO_0002351","obo_purl:RO_0001900":{"@id":"obo_purl:RO_0001901"}},{"@id":"obo_purl:RO_0002473","obo_purl:RO_0001900":{"@id":"obo_purl:RO_0001901"}},{"@id":"obo_purl:RO_0001025","obo_purl:RO_0001900":{"@id":"obo_purl:RO_0001901"}}]}