AFO Relation (REC/2021/03)

Time is a measure in which events can be ordered from the past through the present into the future, and also the measure of durations of events and the intervals between them. [Wikipedia]

The difference between two discrete points next to each other in a range of discrete values. [Allotrope]

A device property can be set between a minimum and maximum value but only in steps of the increment value.

Step size of sweeping over 2Theta, unit °

A planned process selects a participant if the participant is chosen to influence the process towards some objective but is itself not essentially changed by a process. [Allotrope]

For the process of titration a pH meter is used as well as a sample and a standard solution. [Allotrope]

This relation indicates that the subject is a more concrete instance of the object. [Allotrope]

The lowest value of a range or a set of values. [Allotrope]

Highest value of a range. [Allotrope]

Relates an output entity such as a material or information object with a process that exists at the end of the process. [Allotrope]

Relates an input entity such a material entity or information object with a process that exists at the start of the process. [Allotrope]

A condition that restricts an entity. [Allotrope]

An ingredient is a material that enters into a compound or is part of any combination or mixture. [Allotrope]

Inverse of SHACL targets e.g. sh:targetClass or sh:targetNode. [Allotrope]

A scope defines a situation or context in which a dependent entity such as a condition or contextual role occurs or is valid. [Allotrope]

Relates a process with a continuant that participates in the process and exists at the end of the process. [Allotrope]

Relates a process with a continuant that participates in the process and exists at the start of the process. [Allotrope]

An entity has a condition that restricts the entity in some way. [Allotrope]

Relates a process with an information object that participates in a process and exists the start of the process. [Allotrope]

Relates a process with an information object that participates in the process and exists the end of the process. [Allotrope]

The material that is output of the process. [Allotrope]

This property links a collection to a member item. [Allotrope]

Inverse of 'has data input'. [Allotrope]

Inverse of 'has material input'. [Allotrope]

The highest value of a range excluding the boundary value. [Allotrope]

The highest value of a range including the boundary value. [Allotrope]

The lowest value of a range or set of values excluding the boundary value. [Allotrope]

The lowest value of a range or set of values including the boundary value. [Allotrope]

Refers to the material entity that is an input of a process. [Allotrope]

The relation between a process and its log. A log is a steadily updated information object containing data of events in time such as process executions. [Allotrope]

log files, auto export file of cell counter devices

A physical object that is a component that is a physical part of another physical object that is a system. [Allotrope]

The property specifies of which kind of general portion of material something is built of. [Allotrope]

a weighing pan that is composed of platinum [Allotrope]

A physical object that forms a system that has as part a physical entity that is one of its components. [Allotrope]

Relation between a system and a component of it that has the role of a port in the system though which material, energy or information flows in or out of the system. [Allotrope]

The relation of an entity to a description of it which refers to the qualification of an entity to perform a certain function. [Allotrope]

a part of a data sheet

The relation between a container and its physical content. A material entity a contains a material entity b if b is located in some cavity of a. [Allotrope]

Inverse of contains. [Allotrope]

A classification is a kind of categorization in order to differentiate between different classes of objects. [Allotrope]

A system that is attached to another system by an ingoing port. [Allotrope]

A system that is attached to another system by an outgoing port. [Allotrope]

Reference object relates an entity A to some entity B that is taken as a reference for A in a certain context. [Allotrope]

reference for comparison

reference process

reference object

The relation between a proposition about of a portion of reality and a process asserting that the process is described truthfully by the description. [Allotrope]

The relation between a function with an objective and another function that when realized acts as a proxy to achieve the objective of the first. [Allotrope]

A relation between a process profile and a changing determinable quality of some participant of the process of the profile. [Allotrope]

An profile of the absorption in a chromatography is quality process profile of the quality absorption of some participating material. [Allotrope]

Relation of something that is quantified by some quantity value which expresses it relative to some other thing. [Allotrope]

The duration of a process expressed as 60 sec expresses it in quantitative relation to the duration of some second defining process specified in the SI systems of units.

The relation between a quality and a process profile in which the quality is changing. [Allotrope]

Relation of some process that is quantified by some quantity value which expresses its duration relative to other process or a temporal aggregation function on the quantification of a quality of some participant over this duration. [Allotrope]

The process of injection has a material flow profile of the injected material that is quantified by the volume of 1 mL/sec.

The quantity value that is the result of averaging a quality of some participant of the process over the duration of the process or the quantification of the participant's quality at the temporal granularity of the duration of the process. [Allotrope]

The temporal maximum quantified by is the maximum of the quantification of some quality of a participant that occurred during the process. [Allotrope]

The temporal minimum quantified by is the minimum of the quantification of some quality of a participant that occurred during the process. [Allotrope]

Quantification of some determinate quality which expresses it relative to some other (known) determinate quality. [Allotrope]

A portion of water has some determinate temperature quality that is quantified by the quantity value of 15° C.

Relation to a data item that describes the boundaries of possible or existing qualities, process profiles or process durations that can be ordered. [Allotrope]

Describes is a property of an entity which has the ability to indicate or denote certain characteristics in another entity. [Allotrope]

The relation of a process profile of some changing quality to a process. [Allotrope]

A pressure profile in chromatography. [Allotrope]

Specifies is a relation between a specification and the object specified. [Allotrope]

The relation of an entity to an identifier that denotes it. [Allotrope]

The relation of an identifier to the entity it denotes. [Allotrope]

Occurrent quantified by relates an occurrent entity with an information content entity that is a quantification of the occurrent (duration, rate). [Allotrope]

In collection relates an item to a collection entity. [Allotrope]

Inverse of quality influences. [Allotrope]

Holds between qualities a and b such that if a process changes the quality to some other instance a' then for some a' it is necessary that b changes to another instance b'. [Allotrope]

volume influences density

Holds between qualities a and b such that if a process changes the quality to some other instance a' != a then for all a' it is necessary that b changes to another instance b' != b. [Allotrope]

Inverse of quality strongly influences. [Allotrope]

Inverse of has contextual role. [Allotrope]

Property describing the absence of a particular in relation to another particular depending on its spatio-temporal existence. [Allotrope]

The relation between the abstract facet and a specific information that represents the facet. [Allotrope]

a label facet can be implemented as a barcode or written text

The relation between an information object and its contextual role. [Allotrope]

The relation between a conceptual role and the process where the contextual role is realized. [Allotrope]

Inverse of 'has data output'. [Allotrope]

Inverse of 'has material output'. [Allotrope]

The relation between a representation and its content independent of form. [Allotrope]

The relation between the information and the way it is represented. [Allotrope]

Has effort component relates an energy with its quality of effort. [Allotrope]

Has flow component relates an energy with its quality of flow. [Allotrope]

An information content entity has information derived from some other information content entity, if there is a data processing that transforms the other into it, either transforming the representational form or the content. [Allotrope]

P has direct input c if and only if c is a participant in p, c is present at the start of p, and the state of c is modified during p, c is present at the end of p. [Allotrope]

P has output c if and only if c is a participant in p, c is present at the start of p, and c is not present at the end of p. [Allotrope]

An experimental step consumes a sample. [Allotrope]

A planned process targets a continuant if the continuant is a participant in the process and it in important part of towards the main objective of the process' plan. [Allotrope]

A hardness test targets the hardness quality. [Allotrope]

Has proper part is an antisymmetric, irreflexive (normally transitive) relation between a whole and a distinct part. [SIO]

An atom has subatomic particles as its proper parts.

Facet of relates two information content entities where one information content entity is an aspect of the other one. [Allotrope]

Has categorical value is a facet that relates an information content entity to a code that describes a category for classification. [Allotrope]

Has description relates an entity to an information content entity that is its description. [Allotrope]

Relation between an information content entity and some part of it called a facet that is covers some general aspect of information context. [Allotrope]

a timestamp

an ordering

a title

Has specification relates an entity to an information content entity that is its specification. [Allotrope]

The relation between a classification and something that is grouped by the classification. [Allotrope]

Inverse of facet concretized as. [Allotrope]

The relation of an information object to an entity that gives some indication of magnitude of a quality, information facet or process. [Allotrope]

The relation between an index and the entity in an aggregate or list it denotes. [Allotrope]

The relation between an object and an index that denotes the object within an aggregate the object is member of. [Allotrope]

The relation between a proxy entity and a target entity where the target entity is a real participant in some process or the subject of an information content entity but is not referenced directly, but instead the proxy is used as a surrogate or representation for it. [Allotrope]

An object aggregate as a proxy for a collection.

A measurement of a quality to indirectly measure another quality.

The relation an entity and an associated SKOS concept. [Allotrope]

A core relation that holds between a whole and a proper part without an intermediate part at a level of granularity. [Allotrope]

Is followed by is a relation between entities that are items in an ordered sequence. For each pair of entities P, S being a member of the sequence, there exists an ordering function o so that o(P) < o(S). Iff o(P) < o(S) then P is followed by S. [Allotrope]

Follows is a relation between entities that are items in an ordered sequence. For each pair of entities P, S being a member of the sequence, there exists an ordering function o so that o(P) < o(S). Iff o(S) > o(P) the S follows P. [Allotrope]

Is immediately followed by is a relation between entities that are items in an ordered sequence. For each pair of entities P, S being a member of the sequence, there exists an ordering function o so that o(P) < o(S). Iff for members P, S of the sequence, there is no member I that o(P) < o(I) < o(S), then P is immediately followed by S. [Allotrope]

Immediately follows is a relation between entities that are items in an ordered sequence. For each pair of entities P, S being a member of the sequence, there exists an ordering function o so that o(P) < o(S). Iff for members P, S of the sequence, there is no member I that o(S) > o(I) > o(P), then S follows P. [Allotrope]

Relation of is a relation of a relational entity to the referred entities. [Allotrope]

A sum datum is relation of its summands.

A ratio quality is relation of two qualities of the same kind, whose magnitude is a ratio value.

Relates to is a relation between a directed relational entity to the target of the relation. [Allotrope]

A ratio relates to the denominator.

Relates from is a relation between a directed relational entity to the source of the relation. [Allotrope]

A ratio relates from the numerator.

The relation between a definition and the entity that is defined by it. [Allotrope]

Has definition relates an entity to an information content entity that is its definition. [Allotrope]

Inverse of has ingredient. [Allotrope]

Inverse of has proper part. [Allotrope]

Inverse of has direct part. [Allotrope]

A process observing process p observes a process q if p produces information about the process q, such as the duration, or about some independent continuant participating in q in an important active or passive role. [Allotrope]

An entity applies a specification or mathematical function, if the specification specifies the entity and the entity conforms or follows the specification. [Allotrope]

A relation between a realizable entity and a requirement, that states that the process or process boundary that realizes it, satisfies all conditions of the requirement. [Allotrope]

The relation between a log and the process the log is describing. [Allotrope]

The relation between a capability proposition and the subject it is about. [Allotrope]

A relation between entities that are ordered into a list. [Allotrope]

A continuant is target of a planned process if the continuant is a participant in the process and it in important part of towards the main objective of the process' plan. [Allotrope]

A continuant is selected or used in planned process if the participant is chosen to influence the process towards some objective but is itself not essentially changed by a process. [Allotrope]

X is preceded by y if and only if the time point at which y ends is before or equivalent to the time point at which x starts. Formally: x preceded by y if and only if ω(y) <= α(x), where α is a function that maps a process to a start point, and ω is a function that maps a process to an end point. [RO]

X precedes y if and only if the time point at which x ends is before or equivalent to the time point at which y starts. Formally: x precedes y if and only if ω(x) <= α(y), where α is a function that maps a process to a start point, and ω is a function that maps a process to an end point. [RO]

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 [RO]

inverse of occurs in

b located at r means that r is a spatial region in which independent continuant b is exactly located. [BFO]

b exists_at t means: b is an entity which exists at some temporal region t. [BFO]

b has occurrent part c =Def. b has part c & b and c are occurrents.

B has_proper_occurrent_part c =Def. b has_occurrent_part c & b and c are not identical. [BFO]

p occupies_spatiotemporal_region s. This is a primitive relation between an occurrent p and the spatiotemporal region s which is its spatiotemporal extent. [BFO]

b occurrent_part_of c =Def. b is a part of c & b and c are occurrents. [BFO]

B proper_occurrent_part_of c =Def. b occurrent_part_of c & b and c are not identical. [BFO]

B temporal_part_of c =Def.b occurrent_part_of c & & for some temporal region t, b occupies_temporal_region t & for all occurrents d, t (if d occupies_temporal_region t & t? occurrent_part_of t then (d occurrent_part_of a iff d occurrent_part_of b)). [BFO]

The 4th year of your life is a temporal part of your life. [BFO]

The process boundary which separates the 3rd and 4th years of your life. [BFO]

The first quarter of a game of football is a temporal part of the whole game. [BFO]

The process of your heart beating from 4pm to 5pm today is a temporal part of the entire process of your heart beating. [BFO]

inverse of exists at [BFO]

b history_of c if c is a material entity or site and b is a history that is the unique history of c

inverse of history of

This document is about information artifacts and their representations. [IAO]

Denotes is a primitive, instance-level, relation obtaining between an information content entity and some portion of reality. Denotation is what happens when someone creates an information content entity E in order to specifically refer to something. The only relation between E and the thing is that E can be used to 'pick out' the thing. This relation connects those two together. Freedictionary.com sense 3: To signify directly; refer to specifically [IAO]

A variable name in a computer program denotes some piece of memory. [IAO]

A person's name denotes the person. [IAO]

Lexically equivalent strings can denote different things, for instance "Alan" can denote different people. In each case of use, there is a case of the denotation relation obtaining, between "Alan" and the person that is being named. [IAO]

A relation between continuant instances c1 and c2 where within a protocol application, measurement of c1 is related to a what would be the measurement of c2. [OBI]

position on a gel is proxy for mass and charge of molecule in an western blot [OBI]

Florescent intensity is proxy for amount of protein labeled with GFP [OBI]

The relation of the cells in the finger of the skin to the finger, in which an indeterminate number of grains are parts of the whole by virtue of being grains in a collective that is part of the whole, and in which removing one granular part does not nec- essarily damage or diminish the whole. Ontological Whether there is a fixed, or nearly fixed number of parts - e.g. fingers of the hand, chambers of the heart, or wheels of a car - such that there can be a notion of a single one being missing, or whether, by contrast, the number of parts is indeterminate - e.g., cells in the skin of the hand, red cells in blood, or rubber molecules in the tread of the tire of the wheel of the car. [OBI]

A relation between granular parts and the whole of which they are a part. Granular parts have indeterminate number such that removing one granular part does not necessarily damage or diminish the whole. [OBI]

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. [RO]

this apple is bearer of this red color

this vase is bearer of this fragility

A relation between a continuant and a process, in which the continuant is somehow involved in the process [RO]

A relation between a process and a continuant, in which the continuant is somehow involved in the process [RO]

this process has participant this input material (or this output material)

this investigation has participant this investigator

this blood coagulation has participant this blood clot

A relationship between a generically dependent continuant and a specifically dependent continuant, in which the generically dependent continuant depends on some independent continuant in virtue of the fact that the specifically dependent continuant also depends on that same independent continuant. A generically dependent continuant may be concretized as multiple specifically dependent continuants. [RO]

A journal article is an information artifact that inheres in some number of printed journals. For each copy of the printed journal there is some quality that carries the journal article, such as a pattern of ink. The journal article (a generically dependent continuant) is concretized as the quality (a specifically dependent continuant), and both depend on that copy of the printed journal (an independent continuant). [RO]

An investigator reads a protocol and forms a plan to carry out an assay. The plan is a realizable entity (a specifically dependent continuant) that concretizes the protocol (a generically dependent continuant), and both depend on the investigator (an independent continuant). The plan is then realized by the assay (a process). [RO]

A relationship between a specifically dependent continuant and a generically dependent continuant, in which the generically dependent continuant depends on some independent continuant in virtue of the fact that the specifically dependent continuant also depends on that same independent continuant. Multiple specifically dependent continuants can concretize the same generically dependent continuant. [RO]

A journal article is an information artifact that inheres in some number of printed journals. For each copy of the printed journal there is some quality that carries the journal article, such as a pattern of ink. The quality (a specifically dependent continuant) concretizes the journal article (a generically dependent continuant), and both depend on that copy of the printed journal (an independent continuant).

An investigator reads a protocol and forms a plan to carry out an assay. The plan is a realizable entity (a specifically dependent continuant) that concretizes the protocol (a generically dependent continuant), and both depend on the investigator (an independent continuant). The plan is then realized by the assay (a process).

A relation between a function and an independent continuant (the bearer), in which the function specifically depends on the bearer for its existence. [RO]

Inverse of has quality [RO]

A relation between a role and an independent continuant (the bearer), in which the role specifically depends on the bearer for its existence. [RO]

A relation between an independent continuant (the bearer) and a function, in which the function specifically depends on the bearer for its existence. [RO]

this enzyme has function this catalysis function (more colloquially: this enzyme has this catalysis function)

A relation between an independent continuant (the bearer) and a quality, in which the quality specifically depends on the bearer for its existence. [RO]

this apple has quality this red color

A relation between an independent continuant (the bearer) and a role, in which the role specifically depends on the bearer for its existence [RO]

this person has role this investigator role (more colloquially: this person has this role of investigator) [RO]

A relation between an independent continuant (the bearer) and a disposition, in which the disposition specifically depends on the bearer for its existence, [RO]

Inverse of has disposition [RO]

A relation between two distinct material entities, the new entity and the old entity, in which the new entity begins to exist when the old entity ceases to exist, and the new entity inherits the significant portion of the matter of the old entity. [RO]

this cell derives from this parent cell (cell division)

this nucleus derives from this parent nucleus (nuclear division)

A relation between two distinct material entities, the old entity and the new entity, in which the new entity begins to exist when the old entity ceases to exist, and the new entity inherits the significant portion of the matter of the old entity. [RO]

a relation between two independent continuants, the location and the target, in which the target is entirely within the location [RO]

this cage is the location of this rat

A relation between two independent continuants, the target and the location, in which the target is entirely within the location. [RO]

a relation between a 2D immaterial entity (the boundary) and a material entity, in which the boundary delimits the material entity [RO]

the surface of my skin is a 2D boundary of my body

a relation between a material entity and a 2D immaterial entity (the boundary), in which the boundary delimits the material entity [RO]

A part of relation that applies only between occurrents. [RO]

Primitive instance level timing relation between events [RO]

t1 simultaneous_with t2 iff:= t1 before_or_simultaneous_with t2 and not (t1 before t2) [RO]

t1 before t2 iff:= t1 before_or_simulataneous_with t2 and not (t1 simultaneous_with t2) [RO]

X ends_after Y iff: end(Y) before_or_simultaneous_with end(X) [RO]

X immediately_preceded_by Y iff: end(X) simultaneous_with start(Y) [RO]

X immediately_precedes_Y iff: end(X) simultaneous_with start(Y) [RO]

X starts_during Y iff: (start(Y) before_or_simultaneous_with start(X)) AND (start(X) before_or_simultaneous_with end(Y)) [RO]

X happens_during Y iff: (start(Y) before_or_simultaneous_with start(X)) AND (end(X) before_or_simultaneous_with end(Y)) [RO]

X ends_during Y iff: ((start(Y) before_or_simultaneous_with end(X)) AND end(X) before_or_simultaneous_with end(Y). [RO]

x overlaps y if and only if there exists some z such that x has part z and z part of y [RO]

X continuous_with Y if and only if X and Y share a fiat boundary. [RO]

A is spatially_disjoint_from B if and only if they have no parts in common [RO]

a is connected to b if and only if a and b are discrete structure, and there exists some connecting structure c, such that c connects a and b [RO]

C connects a if and only if there exist some b such that a and b are similar parts of the same system, and c connects b, specifically, c connects a with b. When one structure connects two others it unites some aspect of the function or role they play within the system. [IAO]

A is attached to part of b if a is attached to b, or a is attached to some p, where p is part of b. [IAO]

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. [RO]

Process(P1) regulates process(P2) iff: P1 results in the initiation or termination of P2 OR affects the frequency of its initiation or termination OR affects the magnitude or rate of output of P2. [RO]

Process(P1) negatively regulates process(P2) iff: P1 terminates P2, or P1 descreases the the frequency of initiation of P2 or the magnitude or rate of output of P2. [RO]

Process(P1) positively regulates process(P2) iff: P1 initiates P2, or P1 increases the the frequency of initiation of P2 or the magnitude or rate of output of P2. [RO]

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. [RO]

mechanosensory neuron capable of detection of mechanical stimulus involved in sensory perception [RO]

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. [RO]

X actively participates in y if and only if x participates in y and x realizes some active role [RO]

X has participant y if and only if x realizes some active role that inheres in y [RO]

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 [RO]

X adjacent to y if and only if x and y share a boundary. [RO]

The epidermis layer of a vertebrate is adjacent to the dermis.

The plasma membrane of a cell is adjacent to the cytoplasm, and also to the cell lumen which the cytoplasm occupies.

The skin of the forelimb is adjacent to the skin of the torso if these are considered anatomical subdivisions with a defined border. Otherwise a relation such as continuous_with would be used.

A caterpillar walking on the surface of a leaf is adjacent_to the leaf, if one of the caterpillar appendages is touching the leaf. In contrast, a butterfly flying close to a flower is not considered adjacent, unless there are any touching parts.

Inverse of surrounded by [RO]

A relation that holds between two occurrents. This is a grouping relation that collects together all the Allen relations. [RO]

Inverse of starts with [RO]

X starts with y if and only if x has part y and the time point at which x starts is equivalent to the time point at which y starts. Formally: α(y) = α(x) and ω(y) < ω(x), where α is a function that maps a process to a start point, and ω is a function that maps a process to an end point. [RO]

Inverse of ends with [RO]

X ends with y if and only if x has part y and the time point at which x ends is equivalent to the time point at which y ends. Formally: α(y) > α(x) and ω(y) = ω(x), where α is a function that maps a process to a start point, and ω is a function that maps a process to an end point. [RO]

C involved in regulation of p if c enables 'p' and p' causally upstream of p [RO]

C acts upstream of or within p if c is enables 'p' and p' causally upstream of or within p [RO]

holds between x and y if and only if x is causally upstream of y and the progression of x decreases the frequency, rate or extent of y [RO]

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. [RO]

A mereological relationship or a topological relationship [RO]

if and only if exists c', p' c part_of c' and c' capable_of p and c capable_of p' and p' part_of p then c contributes_to p [RO]

a particular instances of akt-2 enables some instance of protein kinase activity [RO]

This is a grouping relation that collects relations used for the purpose of connecting structure and function. [RO]

C involved_in p if and only if c enables some process p', and p' is part of p [RO]

P regulates levels of c if p regulates some amount (PATO:0000070) of c [RO]

every cellular sphingolipid homeostasis process regulates_level_of some sphingolipid

inverse of enables [RO]

Inverse of negatively regulates [RO]

Inverse of positively regulates [RO]

A relationship that holds via some process of localization. [RO]

This relationship holds between p and l when p is a transport or localization process in which the outcome is to move some cargo c from some initial location l to some destination. [RO]

This relationship holds between p and l when p is a transport or localization process in which the outcome is to move some cargo c from a an initial location to some destination l. [RO]

Holds between p and l when p is a transportation or localization process and the outcome of this process is to move c from one location to another, and the route taken by c follows a path that is aligned_with l. [RO]

Holds between p and m when p is a transportation or localization process and the outcome of this process is to move c from one location to another, and the route taken by c follows a path that crosses m. [RO]

'mitochondrial transport' results_in_transport_to_from_or_in some  mitochondrion (GO:0005739)

Inverse of has member

An organism that is a member of a population of organisms. [RO]

Has member is a mereological relation between a collection and an item. [RO]

A is attached to b if and only if a and b are discrete objects or object parts, and there are physical connections between a and b such that a force pulling a will move b, or a force pulling b will move a. [IAO]

X spatially_coextensive_with y if and only if x and y have the same location [RO]

A lump of clay and a statue

inverse of upstream of [RO]

inverse of immediately causally upstream of

P is causally upstream of q if and only if p precedes q and p and q are linked in a causal chain [RO]

P is immediately causally upstream of q if and only if both (a) p immediately precedes q and (b) p is causally upstream of q. In addition, the output of p must be an input of q. [RO]

P 'causally upstream or within' q if and only if (1) the end of p is before the end of q and (2) the execution of p exerts some causal influence over the outputs of q; i.e. if p was abolished or the outputs of p were to be modified, this would necessarily affect q. [RO]

C involved in regulation of p if c is involved in some 'p' and p' regulates some p [RO]

C involved in or regulates p if and only if either (i) c is involved in p or (ii) c is involved in regulation of p [RO]

A relationship that holds between two entities in which the processes executed by the two entities are causally connected. [RO]

relation used for defining interaction relations. An interaction relation holds when there is an interaction event with two partners. In a directional interaction, one partner is deemed the subject, the other the target [RO]

relation used for defining interaction relations; the meaning of s 'subject participant in' p is determined by the type of p, where p must be a directional interaction process. [RO]

in a predator-prey interaction process the subject is the predator

Relation used for defining interaction relations; the meaning of s 'target participant in' p is determined by the type of p, where p must be a directional interaction process [RO]

in a predator-prey interaction process the target is the prey

A relationship between a material entity and a process where the material entity has some causal role that influences the process. [RO]

P is causally related to q if and only if p or any part of p and q or any part of q are linked by a chain of events where each event pair is one of direct activation or direct inhibition. p may be upstream, downstream, part of or a container of q. [RO]

Being determined, based or contingent on something. [Allotrope]

Q towards e2 if and only if q is a relational quality such that q inheres-in some e, and e != e2 and q is dependent on e2 [RO]

P has intermediate c if and only if p has parts p1, p2 and p1 has output c, and p2 has input c [RO]

S determined by f if and only if s is a type of system, and f is a material entity that is part of s, such that f exerts a strong causal influence on the functioning of s, and the removal of f would cause the collapse of s. [RO]

S 'determined by part of' w if and only if there exists some f such that (1) s 'determined by' f and (2) f part_of w, or f=w. [RO]

A relation that holds between two entities that have the property of being sequences or having sequences. [RO]

x is sequentially adjacent to y if and only if x and y do not overlap and if there are no base units intervening between x and y [RO]

x has start sequence y if the start of x is identical to the start of y, and x has y as a subsequence [RO]

inverse of has start sequence [RO]

x has end sequence y if the end of x is identical to the end of y, and x has y as a subsequence [RO]

inverse of has end sequence [RO]

x bounds the sequence of y if and only if the upstream-most part of x is upstream of or coincident with the upstream-most part of y, and the downstream-most part of x is downstream of or coincident with the downstream-most part of y [RO]

inverse of bounds sequence of [RO]

x has subsequence y if and only if all of the sequence parts of x are sequence parts of y [RO]

inverse of has subsequence [RO]

x overlaps the sequence of x if and only if x has a subsequence z and z is a subsequence of y. [RO]

x does not overlaps the sequence of x if and only if there is no z such that x has a subsequence z and z is a subsequence of y. [RO]

inverse of downstream sequence of [RO]

x is downstream of the sequence of y if and only if either (1) x and y have sequence units, and all units of x are downstream of all units of y, or (2) x and y are sequence units, and x is either immediately downstream of y, or transitively downstream of y. [RO]

x is immediately downstream of the sequence of y if and only if either (1) x and y have sequence units, and all units of x are downstream of all units of y, and x is sequentially adjacent to y, or (2) x and y are sequence units, in which case the immediately downstream relation is primitive and defined by context: for DNA bases, y would be adjacent and 5' to y [RO]

inverse of immediately downstream of [RO]

Holds between materal entities a and b if the activity of a is causally upstream of the activity of b, or causally upstream of a an activity that modifies b [RO]

X is a conduit for y if and only if y overlaps through the lumen_of of x, and y has parts on either side of the lumen of x. [RO]

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 [RO]