annotations.owl
type: Ontology
comment: This module is deprecated but should be left intact as some ontologies may depend on it. See https://github.com/oborel/obo-relations/issues/683
deprecated: true

editor preferred term
type: AnnotationProperty

example of usage
type: AnnotationProperty
has curation status: ready for release

has curation status
type: AnnotationProperty

definition
type: AnnotationProperty
has curation status: ready for release

editor note
type: AnnotationProperty
has curation status: ready for release

term editor
type: AnnotationProperty
has curation status: ready for release

alternative term
type: AnnotationProperty
has curation status: pending final vetting

definition source
type: AnnotationProperty
has curation status: ready for release

imported from
type: AnnotationProperty
has curation status: pending final vetting

expand expression to
type: AnnotationProperty

expand assertion to
type: AnnotationProperty

first order logic expression
type: AnnotationProperty

elucidation
type: AnnotationProperty

temporal interpretation
type: AnnotationProperty

shorthand
type: AnnotationProperty

ready for release
type: NamedIndividual

pending final vetting
type: NamedIndividual

requires discussion
type: NamedIndividual

axiom holds for all times
type: NamedIndividual
definition: ## 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

relation has no temporal argument
type: NamedIndividual
definition: ## 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)

curator note
has curation status: ready for release