Terminology Service for NFDI4Health
All individuals in ICDO
| Label | Id | Description |
|---|---|---|
| axiom holds for all times | RO_0001901 | [ ## 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 ] |
| pending final vetting | IAO_0000125 | |
| ready for release | IAO_0000122 | |
| requires discussion | IAO_0000428 |