is a defining property chain axiom
If R <- P o Q is a defining property chain axiom, then it also holds that R -> P o Q. Note that this cannot be expressed directly in OWL
is a defining property chain axiom where second argument is reflexive
If R <- P o Q is a defining property chain axiom, then (1) R -> P o Q holds and (2) Q is either reflexive or locally reflexive. A corollary of this is that P SubPropertyOf R.
part of
a core relation that holds between a part and its whole
has part
a core relation that holds between a whole and its part
occurs in
b occurs_in c =def b is a process and c is a material entity or immaterial entity& there exists a spatiotemporal region r and b occupies_spatiotemporal_region r.& forall(t) if b exists_at t then c exists_at t & there exist spatial regions s and s’ where & b spatially_projects_onto s at t& c is occupies_spatial_region s’ at t& s is a proper_continuant_part_of s’ at t
contains process
[copied from inverse property 'occurs in'] b occurs_in c =def b is a process and c is a material entity or immaterial entity& there exists a spatiotemporal region r and b occupies_spatiotemporal_region r.& forall(t) if b exists_at t then c exists_at t & there exist spatial regions s and s’ where & b spatially_projects_onto s at t& c is occupies_spatial_region s’ at t& s is a proper_continuant_part_of s’ at t
inheres in
a relation between a specifically dependent continuant (the dependent) and an independent continuant (the bearer), in which the dependent specifically depends on the bearer for its existence
bearer of
a relation between an independent continuant (the bearer) and a specifically dependent continuant (the dependent), in which the dependent specifically depends on the bearer for its existence
overlaps
x overlaps y if and only if there exists some z such that x has part z and z part of y
true
inheres in part of
q inheres in part of w if and only if there exists some p such that q inheres in p and p part of w.
true
mereotopologically related to
A mereological relationship or a topological relationship
has part that occurs in
p has part that occurs in c if and only if there exists some p1, such that p has_part p1, and p1 occurs in c.
true
depends on