definition
definition
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
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.
is a defining property chain axiom where second argument is reflexive
has_exact_synonym
has_related_synonym
a core relation that holds between a part and its whole
part of
a core relation that holds between a whole and its part
has part
a relation between a continuant and a process, in which the continuant is somehow involved in the process
participates in
a relation between a process and a continuant, in which the continuant is somehow involved in the process
has participant
x overlaps y if and only if there exists some z such that x has part z and z part of y
overlaps
true
X continuous_with Y if and only if X and Y share a fiat boundary.
continuous with
A is spatially_disjoint_from B if and only if they have no parts in common
spatially disjoint from
w 'has component' p if w 'has part' p and w is such that it can be directly disassembled into into n parts p, p2, p3, ..., pn, where these parts are of similar type.
has component
x develops from y if and only if either (a) x directly develops from y or (b) there exists some z such that x directly develops from z and z develops from y
develops from
inverse of develops from
develops into
A relation between a material entity (such as a cell) and a process, in which the material entity has the ability to carry out the process.
capable of
c stands in this relationship to p if and only if there exists some p' such that c is capable_of p', and p' is part_of p.
capable of part of
true
x surrounded_by y if and only if (1) x is adjacent to y and for every region r that is adjacent to x, r overlaps y (2) the shared boundary between x and y occupies the majority of the outermost boundary of x
surrounded by
x adjacent to y if and only if x and y share a boundary.
adjacent to
inverse of surrounded by
surrounds
p has output c iff c is a participant in p, c is present at the end of p, and c is not present at the beginning of p.
has output
x has developmental contribution from y iff x has some part z such that z develops from y
has developmental contribution from
inverse of has developmental contribution from
developmentally contributes to
Candidate definition: x developmentally related to y if and only if there exists some developmental process (GO:0032502) p such that x and y both participates in p, and x is the output of p and y is the input of p
developmentally preceded by
Inverse of developmentally preceded by
developmentally succeeded by
p results in the developmental progression of s iff p is a developmental process and s is an anatomical structure and p causes s to undergo a change in state at some point along its natural developmental cycle (this cycle starts with its formation, through the mature structure, and ends with its loss).
results in developmental progression of
results in formation of
A mereological relationship or a topological relationship
mereotopologically related to
A relationship that holds between entities participating in some developmental process (GO:0032502)
developmentally related to
functionally related to
this relation holds between c and p when c is part of some c', and c' is capable of p.
part of structure that is capable of
true
inverse of has output
output of
formed as result of
x has developmental potential involving y iff x is capable of a developmental process with output y. y may be the successor of x, or may be a different structure in the vicinity (as for example in the case of developmental induction).
has developmental potential involving
x has potential to developmentrally contribute to y iff x developmentally contributes to y or x is capable of developmentally contributing to y
has potential to developmentally contribute to
x has the potential to develop into y iff x develops into y or if x is capable of developing into y
has potential to develop into
x has potential to directly develop into y iff x directly develops into y or x is capable of directly developing into y
has potential to directly develop into
This relation groups causal relations between material entities and causal relations between processes
causally related to
x composed_primarily_of y if and only if more than half of the mass of x is made from y or units of the same type as y.
composed primarily of
A relationship between a material entity and a process where the material entity has some causal role that influences the process
causal agent in
s 'has part structure that is capable of' p if and only if there exists some part x such that s 'has part' x and x 'capable of' p
has part structure that is capable of
A relationship that holds between a material entity and a process in which causality is involved, with either the material entity or some part of the material entity exerting some influence over the process, or the process influencing some aspect of the material entity.
causal relation between material entity and a process
Inverse of 'causal agent in'
has causal agent
A relationship that holds between two entities, where the relationship holds based on the presence or absence of statistical dependence relationship. The entities may be statistical variables, or they may be other kinds of entities such as diseases, chemical entities or processes.
related via dependence to
a produces b if some process that occurs_in a has_output b, where a and b are material entities. Examples: hybridoma cell line produces monoclonal antibody reagent; chondroblast produces avascular GAG-rich matrix.
produces
a produced_by b iff some process that occurs_in b has_output a.
produced by
An entity that exists in full at any time in which it exists at all, persists through time while maintaining its identity and has no temporal parts.
continuant
An entity that has temporal parts and that happens, unfolds or develops through time.
occurrent
A continuant that is a bearer of quality and realizable entity entities, in which other entities inhere and which itself cannot inhere in anything.
independent continuant
An occurrent that has temporal proper parts and for some time t, p s-depends_on some material entity at t.
process
quality
A continuant that inheres in or is borne by other entities. Every instance of A requires some specific instance of B which must always be the same.
specifically dependent continuant
An independent continuant that is spatially extended whose identity is independent of that of other entities and can be maintained through time.
material entity
anatomical structure
material anatomical entity
biological_process
quality
morphology
physical object quality