Examples

Other relations

This relation has no inverse relations declared

id	OBO_REL_I:0000044
name	immediately_preceded_by
properties
aliases
anti_symmetric
holds_between
reflexive
symmetric
transitive
all_some_in_reference_context
example

Axioms for this relation:

axiom

immediately_preceded_by( p, p1) ↔ ∃ t[ first_instant_of( t, p) ∧ last_instant_of( t, p1) ]

Axioms that refer to this relation: