editor preferred term example of usage has curation status definition definition editor note term editor alternative term definition source imported from expand expression to expand assertion to first order logic expression elucidation temporal interpretation https://github.com/oborel/obo-relations/wiki/ROAndTime shorthand ready for release pending final vetting requires discussion ## 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 axiom holds for all times ## Elucidation This is used when the first-order logic form of the relation is binary, and takes no temporal argument. ## Example: Class: limb SubClassOf: develops_from some lateral-plate-mesoderm forall t, t2: forall x : instance_of(x,Limb,t) implies exists y : instance_of(y,LPM,t2) develops_from(x,y) relation has no temporal argument curator note