Instance level relation between an occurrent and a temporal interval, such that the two temporally coincide. The interval is defined by the start and end of the process.

Examples

Other relations

This relation has no inverse relations declared

id	OBO_REL_I:0000045
name	has_duration
properties
aliases
anti_symmetric
holds_between	occurrent and temporal_interval
reflexive
symmetric
transitive
all_some_in_reference_context
example
text_definition	Instance level relation between an occurrent and a temporal interval, such that the two temporally coincide. The interval is defined by the start and end of the process.

Axioms for this relation:

axiom

Axiom: p has_duration y iff p is an occurrent, and for any t such that t is bound by the start and end of p, it is the case that p occurs_at t, and y is the interval with those boundaries has_duration( p, y) ↔ instance_of( p, occurrent) ∧ ∃ t1[ first_instant_of( t1, p) ] ∧ ∃ t2[ last_instant_of( t2, p) ] ∧ earlier_than( t1, t) ∧ earlier_than( t, t2) → occurs_at( p, t) ∧ y = interval( t1, t2)

Axioms that refer to this relation: