RO | Instances | AgroPortal

ID	http://purl.obolibrary.org/obo/RO_0001901 http://purl.obolibrary.org/obo/RO_0001901 https://agroportal.lirmm.fr/ontologies/RO/RO_0001901 Loading
Label	axiom holds for all times
IAO_0000115	## Elucidation This is used when the statement/axiom is assumed to hold true 'eternally' ## How to interpret (informal) First the "atemporal" 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