Matches in Ubergraph for { <http://purl.obolibrary.org/obo/RO_0001901> ?p ?o ?g. }
Showing items 1 to 4 of
4
with 100 items per page.
- RO_0001901 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" @default.
- RO_0001901 type NamedIndividual @default.
- RO_0001901 isDefinedBy ro.owl @default.
- RO_0001901 label "axiom holds for all times" @default.