p occurs_in s at t : the participants of of p are spatially contained by s at t.

Examples

Other relations

This relation has no inverse relations declared

id	OBO_REL_I:0000064
name	occurs_in
properties
aliases	process_located_in [exact] unfolds_in [exact]
anti_symmetric
holds_between
reflexive
symmetric
transitive
all_some_in_reference_context
exact_synonym	process_located_in
exact_synonym	unfolds_in
example
holds_over	has_participant . located_in
text_definition	p occurs_in s at t : the participants of of p are spatially contained by s at t.

Axioms for this relation:

axiom

Axiom: p occurs_in s at t iff forall c such that c participates_in p at t, c located_in s at t occurs_in( p, s, t) ↔ ∀ c[ has_participant( p, c, t) → located_in( c, s, t) ]

Axioms that refer to this relation: