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