<?xml version="1.0" encoding="UTF-8"?> <rdf:RDF xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:obo_purl="http://purl.obolibrary.org/obo/" xmlns:owl="http://www.w3.org/2002/07/owl#" xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#"> <owl:NamedIndividual rdf:about="http://purl.obolibrary.org/obo/RO_0001901"> <rdfs:label xml:lang="en">axiom holds for all times</rdfs:label> <obo_purl:IAO_0000115>## Elucidation This is used when the statement/axiom is assumed to hold true &amp;apos;eternally&amp;apos; ## How to interpret (informal) First the &amp;quot;atemporal&amp;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</obo_purl:IAO_0000115> </owl:NamedIndividual> <rdf:Description rdf:about="http://purl.obolibrary.org/obo/BFO_0000050"> <obo_purl:RO_0001900 rdf:resource="http://purl.obolibrary.org/obo/RO_0001901"/> </rdf:Description> <rdf:Description rdf:about="http://purl.obolibrary.org/obo/BFO_0000051"> <obo_purl:RO_0001900 rdf:resource="http://purl.obolibrary.org/obo/RO_0001901"/> </rdf:Description> <rdf:Description rdf:about="http://purl.obolibrary.org/obo/RO_0000052"> <obo_purl:RO_0001900 rdf:resource="http://purl.obolibrary.org/obo/RO_0001901"/> </rdf:Description> <rdf:Description rdf:about="http://purl.obolibrary.org/obo/RO_0000053"> <obo_purl:RO_0001900 rdf:resource="http://purl.obolibrary.org/obo/RO_0001901"/> </rdf:Description> <rdf:Description rdf:about="http://purl.obolibrary.org/obo/RO_0000300"> <obo_purl:RO_0001900 rdf:resource="http://purl.obolibrary.org/obo/RO_0001901"/> </rdf:Description> <rdf:Description rdf:about="http://purl.obolibrary.org/obo/RO_0000301"> <obo_purl:RO_0001900 rdf:resource="http://purl.obolibrary.org/obo/RO_0001901"/> </rdf:Description> <rdf:Description rdf:about="http://purl.obolibrary.org/obo/RO_0000302"> <obo_purl:RO_0001900 rdf:resource="http://purl.obolibrary.org/obo/RO_0001901"/> </rdf:Description> <rdf:Description rdf:about="http://purl.obolibrary.org/obo/RO_0001015"> <obo_purl:RO_0001900 rdf:resource="http://purl.obolibrary.org/obo/RO_0001901"/> </rdf:Description> <rdf:Description rdf:about="http://purl.obolibrary.org/obo/RO_0001025"> <obo_purl:RO_0001900 rdf:resource="http://purl.obolibrary.org/obo/RO_0001901"/> </rdf:Description> <rdf:Description rdf:about="http://purl.obolibrary.org/obo/RO_0002000"> <obo_purl:RO_0001900 rdf:resource="http://purl.obolibrary.org/obo/RO_0001901"/> </rdf:Description> <rdf:Description rdf:about="http://purl.obolibrary.org/obo/RO_0002001"> <obo_purl:RO_0001900 rdf:resource="http://purl.obolibrary.org/obo/RO_0001901"/> </rdf:Description> <rdf:Description rdf:about="http://purl.obolibrary.org/obo/RO_0002002"> <obo_purl:RO_0001900 rdf:resource="http://purl.obolibrary.org/obo/RO_0001901"/> </rdf:Description> <rdf:Description rdf:about="http://purl.obolibrary.org/obo/RO_0002100"> <obo_purl:RO_0001900 rdf:resource="http://purl.obolibrary.org/obo/RO_0001901"/> </rdf:Description> <rdf:Description rdf:about="http://purl.obolibrary.org/obo/RO_0002101"> <obo_purl:RO_0001900 rdf:resource="http://purl.obolibrary.org/obo/RO_0001901"/> </rdf:Description> <rdf:Description rdf:about="http://purl.obolibrary.org/obo/RO_0002102"> <obo_purl:RO_0001900 rdf:resource="http://purl.obolibrary.org/obo/RO_0001901"/> </rdf:Description> <rdf:Description rdf:about="http://purl.obolibrary.org/obo/RO_0002103"> <obo_purl:RO_0001900 rdf:resource="http://purl.obolibrary.org/obo/RO_0001901"/> </rdf:Description> <rdf:Description rdf:about="http://purl.obolibrary.org/obo/RO_0002104"> <obo_purl:RO_0001900 rdf:resource="http://purl.obolibrary.org/obo/RO_0001901"/> </rdf:Description> <rdf:Description rdf:about="http://purl.obolibrary.org/obo/RO_0002105"> <obo_purl:RO_0001900 rdf:resource="http://purl.obolibrary.org/obo/RO_0001901"/> </rdf:Description> <rdf:Description rdf:about="http://purl.obolibrary.org/obo/RO_0002106"> <obo_purl:RO_0001900 rdf:resource="http://purl.obolibrary.org/obo/RO_0001901"/> </rdf:Description> <rdf:Description rdf:about="http://purl.obolibrary.org/obo/RO_0002107"> <obo_purl:RO_0001900 rdf:resource="http://purl.obolibrary.org/obo/RO_0001901"/> </rdf:Description> <rdf:Description rdf:about="http://purl.obolibrary.org/obo/RO_0002108"> <obo_purl:RO_0001900 rdf:resource="http://purl.obolibrary.org/obo/RO_0001901"/> </rdf:Description> <rdf:Description rdf:about="http://purl.obolibrary.org/obo/RO_0002109"> <obo_purl:RO_0001900 rdf:resource="http://purl.obolibrary.org/obo/RO_0001901"/> </rdf:Description> <rdf:Description rdf:about="http://purl.obolibrary.org/obo/RO_0002110"> <obo_purl:RO_0001900 rdf:resource="http://purl.obolibrary.org/obo/RO_0001901"/> </rdf:Description> <rdf:Description rdf:about="http://purl.obolibrary.org/obo/RO_0002112"> <obo_purl:RO_0001900 rdf:resource="http://purl.obolibrary.org/obo/RO_0001901"/> </rdf:Description> <rdf:Description rdf:about="http://purl.obolibrary.org/obo/RO_0002113"> <obo_purl:RO_0001900 rdf:resource="http://purl.obolibrary.org/obo/RO_0001901"/> </rdf:Description> <rdf:Description rdf:about="http://purl.obolibrary.org/obo/RO_0002114"> <obo_purl:RO_0001900 rdf:resource="http://purl.obolibrary.org/obo/RO_0001901"/> </rdf:Description> <rdf:Description rdf:about="http://purl.obolibrary.org/obo/RO_0002115"> <obo_purl:RO_0001900 rdf:resource="http://purl.obolibrary.org/obo/RO_0001901"/> </rdf:Description> <rdf:Description rdf:about="http://purl.obolibrary.org/obo/RO_0002120"> <obo_purl:RO_0001900 rdf:resource="http://purl.obolibrary.org/obo/RO_0001901"/> </rdf:Description> <rdf:Description rdf:about="http://purl.obolibrary.org/obo/RO_0002121"> <obo_purl:RO_0001900 rdf:resource="http://purl.obolibrary.org/obo/RO_0001901"/> </rdf:Description> <rdf:Description rdf:about="http://purl.obolibrary.org/obo/RO_0002130"> <obo_purl:RO_0001900 rdf:resource="http://purl.obolibrary.org/obo/RO_0001901"/> </rdf:Description> <rdf:Description rdf:about="http://purl.obolibrary.org/obo/RO_0002131"> <obo_purl:RO_0001900 rdf:resource="http://purl.obolibrary.org/obo/RO_0001901"/> </rdf:Description> <rdf:Description rdf:about="http://purl.obolibrary.org/obo/RO_0002132"> <obo_purl:RO_0001900 rdf:resource="http://purl.obolibrary.org/obo/RO_0001901"/> </rdf:Description> <rdf:Description rdf:about="http://purl.obolibrary.org/obo/RO_0002134"> <obo_purl:RO_0001900 rdf:resource="http://purl.obolibrary.org/obo/RO_0001901"/> </rdf:Description> <rdf:Description rdf:about="http://purl.obolibrary.org/obo/RO_0002150"> <obo_purl:RO_0001900 rdf:resource="http://purl.obolibrary.org/obo/RO_0001901"/> </rdf:Description> <rdf:Description rdf:about="http://purl.obolibrary.org/obo/RO_0002151"> <obo_purl:RO_0001900 rdf:resource="http://purl.obolibrary.org/obo/RO_0001901"/> </rdf:Description> <rdf:Description rdf:about="http://purl.obolibrary.org/obo/RO_0002163"> <obo_purl:RO_0001900 rdf:resource="http://purl.obolibrary.org/obo/RO_0001901"/> </rdf:Description> <rdf:Description rdf:about="http://purl.obolibrary.org/obo/RO_0002180"> <obo_purl:RO_0001900 rdf:resource="http://purl.obolibrary.org/obo/RO_0001901"/> </rdf:Description> <rdf:Description rdf:about="http://purl.obolibrary.org/obo/RO_0002219"> <obo_purl:RO_0001900 rdf:resource="http://purl.obolibrary.org/obo/RO_0001901"/> </rdf:Description> <rdf:Description rdf:about="http://purl.obolibrary.org/obo/RO_0002220"> <obo_purl:RO_0001900 rdf:resource="http://purl.obolibrary.org/obo/RO_0001901"/> </rdf:Description> <rdf:Description rdf:about="http://purl.obolibrary.org/obo/RO_0002221"> <obo_purl:RO_0001900 rdf:resource="http://purl.obolibrary.org/obo/RO_0001901"/> </rdf:Description> <rdf:Description rdf:about="http://purl.obolibrary.org/obo/RO_0002314"> <obo_purl:RO_0001900 rdf:resource="http://purl.obolibrary.org/obo/RO_0001901"/> </rdf:Description> <rdf:Description rdf:about="http://purl.obolibrary.org/obo/RO_0002323"> <obo_purl:RO_0001900 rdf:resource="http://purl.obolibrary.org/obo/RO_0001901"/> </rdf:Description> <rdf:Description rdf:about="http://purl.obolibrary.org/obo/RO_0002350"> <obo_purl:RO_0001900 rdf:resource="http://purl.obolibrary.org/obo/RO_0001901"/> </rdf:Description> <rdf:Description rdf:about="http://purl.obolibrary.org/obo/RO_0002351"> <obo_purl:RO_0001900 rdf:resource="http://purl.obolibrary.org/obo/RO_0001901"/> </rdf:Description> <rdf:Description rdf:about="http://purl.obolibrary.org/obo/RO_0002473"> <obo_purl:RO_0001900 rdf:resource="http://purl.obolibrary.org/obo/RO_0001901"/> </rdf:Description> </rdf:RDF>