@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> . @prefix obo_purl: <http://purl.obolibrary.org/obo/> . @prefix owl: <http://www.w3.org/2002/07/owl#> . @prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> . obo_purl:BFO_0000050 obo_purl:RO_0001900 obo_purl:RO_0001901 . obo_purl:BFO_0000051 obo_purl:RO_0001900 obo_purl:RO_0001901 . obo_purl:RO_0000052 obo_purl:RO_0001900 obo_purl:RO_0001901 . obo_purl:RO_0000053 obo_purl:RO_0001900 obo_purl:RO_0001901 . obo_purl:RO_0000300 obo_purl:RO_0001900 obo_purl:RO_0001901 . obo_purl:RO_0000301 obo_purl:RO_0001900 obo_purl:RO_0001901 . obo_purl:RO_0000302 obo_purl:RO_0001900 obo_purl:RO_0001901 . obo_purl:RO_0001015 obo_purl:RO_0001900 obo_purl:RO_0001901 . obo_purl:RO_0001025 obo_purl:RO_0001900 obo_purl:RO_0001901 . obo_purl:RO_0001901 obo_purl:IAO_0000115 """## Elucidation This is used when the statement/axiom is assumed to hold true &apos;eternally&apos; ## How to interpret (informal) First the &quot;atemporal&quot; FOL is derived from the OWL using the standard interpretation. This axiom is temporalized by embedding the axiom within a for-all-times quantified sentence. The t argument is added to all instantiation predicates and predicates that use this relation. ## Example Class: nucleus SubClassOf: part_of some cell forall t : forall n : instance_of(n,Nucleus,t) implies exists c : instance_of(c,Cell,t) part_of(n,c,t) ## Notes This interpretation is *not* the same as an at-all-times relation""" ; a owl:NamedIndividual ; rdfs:label "axiom holds for all times"@en . obo_purl:RO_0002000 obo_purl:RO_0001900 obo_purl:RO_0001901 . obo_purl:RO_0002001 obo_purl:RO_0001900 obo_purl:RO_0001901 . obo_purl:RO_0002002 obo_purl:RO_0001900 obo_purl:RO_0001901 . obo_purl:RO_0002100 obo_purl:RO_0001900 obo_purl:RO_0001901 . obo_purl:RO_0002101 obo_purl:RO_0001900 obo_purl:RO_0001901 . obo_purl:RO_0002102 obo_purl:RO_0001900 obo_purl:RO_0001901 . obo_purl:RO_0002103 obo_purl:RO_0001900 obo_purl:RO_0001901 . obo_purl:RO_0002104 obo_purl:RO_0001900 obo_purl:RO_0001901 . obo_purl:RO_0002105 obo_purl:RO_0001900 obo_purl:RO_0001901 . obo_purl:RO_0002106 obo_purl:RO_0001900 obo_purl:RO_0001901 . obo_purl:RO_0002107 obo_purl:RO_0001900 obo_purl:RO_0001901 . obo_purl:RO_0002108 obo_purl:RO_0001900 obo_purl:RO_0001901 . obo_purl:RO_0002109 obo_purl:RO_0001900 obo_purl:RO_0001901 . obo_purl:RO_0002110 obo_purl:RO_0001900 obo_purl:RO_0001901 . obo_purl:RO_0002112 obo_purl:RO_0001900 obo_purl:RO_0001901 . obo_purl:RO_0002113 obo_purl:RO_0001900 obo_purl:RO_0001901 . obo_purl:RO_0002114 obo_purl:RO_0001900 obo_purl:RO_0001901 . obo_purl:RO_0002115 obo_purl:RO_0001900 obo_purl:RO_0001901 . obo_purl:RO_0002120 obo_purl:RO_0001900 obo_purl:RO_0001901 . obo_purl:RO_0002121 obo_purl:RO_0001900 obo_purl:RO_0001901 . obo_purl:RO_0002130 obo_purl:RO_0001900 obo_purl:RO_0001901 . obo_purl:RO_0002131 obo_purl:RO_0001900 obo_purl:RO_0001901 . obo_purl:RO_0002132 obo_purl:RO_0001900 obo_purl:RO_0001901 . obo_purl:RO_0002134 obo_purl:RO_0001900 obo_purl:RO_0001901 . obo_purl:RO_0002150 obo_purl:RO_0001900 obo_purl:RO_0001901 . obo_purl:RO_0002151 obo_purl:RO_0001900 obo_purl:RO_0001901 . obo_purl:RO_0002163 obo_purl:RO_0001900 obo_purl:RO_0001901 . obo_purl:RO_0002180 obo_purl:RO_0001900 obo_purl:RO_0001901 . obo_purl:RO_0002219 obo_purl:RO_0001900 obo_purl:RO_0001901 . obo_purl:RO_0002220 obo_purl:RO_0001900 obo_purl:RO_0001901 . obo_purl:RO_0002221 obo_purl:RO_0001900 obo_purl:RO_0001901 . obo_purl:RO_0002314 obo_purl:RO_0001900 obo_purl:RO_0001901 . obo_purl:RO_0002323 obo_purl:RO_0001900 obo_purl:RO_0001901 . obo_purl:RO_0002350 obo_purl:RO_0001900 obo_purl:RO_0001901 . obo_purl:RO_0002351 obo_purl:RO_0001900 obo_purl:RO_0001901 . obo_purl:RO_0002473 obo_purl:RO_0001900 obo_purl:RO_0001901 .