AFO Relation Ontology (REC/2025/12)
type: Ontology
imports: aft
imports: portion-of-material
imports: system
contributor: Allotrope Foundation
description: Allotrope Ontology of standard relations. It is for the most part an adoption of the relation ontology (RO).
issued: 2025-12-16T12:00:00Z
license: Creative Commons Attribution 4.0 International Public License
modified: 2025-06-25T12:00:00Z
publisher: Allotrope Foundation
rights: Derivative works attribution
rights: Copyright © 2015-2025 Allotrope Foundation
rights holder: Allotrope Foundation
prior version: relation
version info: REC/2025/12

has property
type: AnnotationProperty
alternative label: has predicate
definition: A reference to an object or datatype property. [Allotrope]

has class
type: AnnotationProperty
definition: A relation to a class of individuals. [Allotrope]
range: Class

has coordination
type: AnnotationProperty
definition: Has coordination annotates a class with some defining differentia. [Allotrope]

has duration
type: ObjectProperty
sub property of: process quantified by
AFX_0002811: AFR_0000951
alternative label: duration
alternative label: time
definition: 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]

increment
type: ObjectProperty
alternative label: step size
definition: The difference between two discrete points next to each other in a range of discrete values. [Allotrope]
example: A device property can be set between a minimum and maximum value but only in steps of the increment value.
example: Step size of sweeping over 2Theta, unit °

selects
type: ObjectProperty
sub property of: has participant
inverse of: selected in
alternative label: applies
alternative label: uses
change note: 2020-11-12 Added alternative label and changed definition. [Allotrope]
definition: 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]
example: For the process of titration a pH meter is used as well as a sample and a standard solution. [Allotrope]

refines
type: ObjectProperty
definition: This relation indicates that the subject is a more concrete instance of the object. [Allotrope]

minimum
type: ObjectProperty
sub property of: topObjectProperty
definition: The lowest value of a range or a set of values. [Allotrope]

maximum
type: ObjectProperty
sub property of: topObjectProperty
definition: Highest value of a range. [Allotrope]

output of
type: ObjectProperty
sub property of: participates in
inverse of: has output
alternative label: is output of
definition: Relates an output entity such as a material or information object with a process that exists at the end of the process. [Allotrope]

input of
type: ObjectProperty
sub property of: participates in
inverse of: has input
alternative label: is input of
definition: Relates an input entity such a material entity or information object with a process that exists at the start of the process. [Allotrope]

is condition for
type: ObjectProperty
sub property of: is about
inverse of: has condition
domain: AFC_0000090
definition: A condition that restricts an entity. [Allotrope]

has ingredient
type: ObjectProperty
sub property of: has proper part
inverse of: ingredient of
domain: AFM_0001038
range: CHMO_0000993
AFX_0002811: AFRL_0000249
alternative label: component
alternative label: has component
alternative label: ingredient
definition: An ingredient is a material that enters into a compound or is part of any combination or mixture. [Allotrope]

has shape
type: ObjectProperty
alternative label: shape
definition: Inverse of SHACL targets e.g. sh:targetClass or sh:targetNode. [Allotrope]

has scope
type: ObjectProperty
sub property of: is about
alternative label: in context
alternative label: in scope
alternative label: in situation
alternative label: scope
definition: A scope defines a situation or context in which a dependent entity such as a condition or contextual role occurs or is valid. [Allotrope]

has output
type: ObjectProperty
sub property of: has participant
property chain axiom: ends with
change note: 2020-06-08 Removed super property functionally related to. [Allotrope]
definition: Relates a process with a continuant that participates in the process and exists at the end of the process. [Allotrope]

has input
type: ObjectProperty
sub property of: has participant
property chain axiom: starts with
change note: 2020-06-08 Removed super property functionally related to. [Allotrope]
definition: Relates a process with a continuant that participates in the process and exists at the start of the process. [Allotrope]

has condition
type: ObjectProperty
range: AFC_0000090
definition: An entity has a condition that restricts the entity in some way. [Allotrope]

has data input
type: ObjectProperty
sub property of: has input
inverse of: data input of
range: IAO_0000030
definition: Relates a process with an information object that participates in a process and exists the start of the process. [Allotrope]

has data output
type: ObjectProperty
sub property of: has output
inverse of: data output of
range: IAO_0000030
definition: Relates a process with an information object that participates in the process and exists the end of the process. [Allotrope]

has material output
type: ObjectProperty
sub property of: has output
inverse of: material output of
range: BFO_0000040
definition: The material that is output of the process. [Allotrope]

has item
type: ObjectProperty
sub property of: has member
inverse of: item of
type: AsymmetricProperty
type: IrreflexiveProperty
domain: AFC_0000166
range: AFC_0000167
alternative label: item
alternative label: member
definition: This property links a collection to a member item. [Allotrope]

data input of
type: ObjectProperty
sub property of: input of
domain: IAO_0000030
range: BFO_0000015
alternative label: is data input of
definition: Inverse of 'has data input'. [Allotrope]

material input of
type: ObjectProperty
sub property of: input of
inverse of: has material input
domain: AFM_0000275
range: BFO_0000015
alternative label: is material input of
definition: Inverse of 'has material input'. [Allotrope]

maximum exclusive
type: ObjectProperty
sub property of: maximum
definition: The highest value of a range excluding the boundary value. [Allotrope]

maximum inclusive
type: ObjectProperty
sub property of: maximum
definition: The highest value of a range including the boundary value. [Allotrope]

minimum exclusive
type: ObjectProperty
sub property of: minimum
definition: The lowest value of a range or set of values excluding the boundary value. [Allotrope]

minimum inclusive
type: ObjectProperty
sub property of: minimum
definition: The lowest value of a range or set of values including the boundary value. [Allotrope]

has material input
type: ObjectProperty
sub property of: has input
range: AFM_0000275
definition: Refers to the material entity that is an input of a process. [Allotrope]

has log
type: ObjectProperty
inverse of: is log of
domain: BFO_0000015
range: AFR_0000900
alternative label: has protocol
alternative label: log
alternative label: protocol
definition: 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]
example: log files, auto export file of cell counter devices

component of
type: ObjectProperty
sub property of: proper part of
inverse of: has component
type: TransitiveProperty
domain: BFO_0000040
range: BFO_0000040
alternative label: is component of
definition: A physical object that is a component that is a physical part of another physical object that is a system. [Allotrope]
editorial note: part of relation in the system perspective

composed of
type: ObjectProperty
sub property of: has part
alternative label: consists of
alternative label: has material
definition: The property specifies of which kind of general portion of material something is built of. [Allotrope]
example: a weighing pan that is composed of platinum [Allotrope]

has component
type: ObjectProperty
sub property of: has proper part
type: TransitiveProperty
domain: system
range: BFO_0000040
alternative label: has physical part
definition: A physical object that forms a system that has as part a physical entity that is one of its components. [Allotrope]
editorial note: has part relation in the system perspective

has port
type: ObjectProperty
sub property of: has component
type: TransitiveProperty
range: AFE_0000847
definition: 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]

has capability
type: ObjectProperty
inverse of: is capability of
range: AFR_0001103
alternative label: capability
definition: The relation of an entity to a description of it which refers to the qualification of an entity to perform a certain function. [Allotrope]
example: a part of a data sheet

contains
type: ObjectProperty
sub property of: location of
inverse of: contained in
domain: AFE_0000407
range: BFO_0000040
definition: 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]

contained in
type: ObjectProperty
sub property of: located in
domain: BFO_0000040
range: AFE_0000407
definition: Inverse of contains. [Allotrope]

has classification
type: ObjectProperty
inverse of: classifies
range: AFR_0000916
alternative label: classification
alternative label: classified by
definition: A classification is a kind of categorization in order to differentiate between different classes of objects. [Allotrope]

connected to source
type: ObjectProperty
sub property of: connected to
alternative label: attached to source
alternative label: has source
definition: A system that is attached to another system by an ingoing port. [Allotrope]

connected to destination
type: ObjectProperty
sub property of: connected to
alternative label: attached to destination
alternative label: has destination
definition: A system that is attached to another system by an outgoing port. [Allotrope]

has reference
type: ObjectProperty
sub property of: topObjectProperty
alternative label: reference
alternative label: reference object
definition: Reference object relates an entity A to some entity B that is taken as a reference for A in a certain context. [Allotrope]
example: reference for comparison
example: reference object
example: reference process

satisfies
type: ObjectProperty
domain: AFR_0000991
range: Class
  union of: BFO_0000015
  union of: BFO_0000035
definition: 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]

by way of
type: ObjectProperty
domain: BFO_0000034
range: BFO_0000034
definition: 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]

tracks quality
type: ObjectProperty
sub property of: topObjectProperty
inverse of: quality tracked by
domain: AFP_0003281
range: BFO_0000019
definition: A relation between a process profile and a changing determinable quality of some participant of the process of the profile. [Allotrope]
example: An profile of the absorption in a chromatography is quality process profile of the quality absorption of some participating material. [Allotrope]
note: The relation is usually used with punning of the quality.

quantified by
type: ObjectProperty
sub property of: has description
inverse of: quantifies
alternative label: has quantity value
definition: Relation of something that is quantified by some quantity value which expresses it relative to some other thing. [Allotrope]
example: 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.

quality tracked by
type: ObjectProperty
sub property of: topObjectProperty
domain: BFO_0000019
range: AFP_0003281
definition: The relation between a quality and a process profile in which the quality is changing. [Allotrope]

process quantified by
type: ObjectProperty
sub property of: occurrent quantified by
domain: BFO_0000015
definition: 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]
example: The process of injection has a material flow profile of the injected material that is quantified by the volume of 1 mL/sec.

profile mean quantified by
type: ObjectProperty
sub property of: process quantified by
domain: BFO_0000144
definition: 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]

profile maximum quantified by
type: ObjectProperty
sub property of: process quantified by
domain: BFO_0000144
definition: The temporal maximum quantified by is the maximum of the quantification of some quality of a participant that occurred during the process. [Allotrope]

profile minimum quantified by
type: ObjectProperty
sub property of: process quantified by
domain: BFO_0000144
definition: The temporal minimum quantified by is the minimum of the quantification of some quality of a participant that occurred during the process. [Allotrope]

quality quantified by
type: ObjectProperty
sub property of: quantified by
domain: BFO_0000019
definition: Quantification of some determinate quality which expresses it relative to some other (known) determinate quality. [Allotrope]
example: A portion of water has some determinate temperature quality that is quantified by the quantity value of 15° C.

has range
type: ObjectProperty
sub property of: has facet
range: AFC_0000021
definition: 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
type: ObjectProperty
sub property of: is about
inverse of: has description
domain: AFR_0000922
alternative label: description of
definition: Describes is a property of an entity which has the ability to indicate or denote certain characteristics in another entity. [Allotrope]

quality profile of
type: ObjectProperty
sub property of: process profile of
domain: AFP_0003281
range: BFO_0000015
definition: The relation of a process profile of some changing quality to a process. [Allotrope]
example: A pressure profile in chromatography. [Allotrope]

specifies
type: ObjectProperty
sub property of: is about
inverse of: has specification
domain: AFR_0000957
definition: Specifies is a relation between a specification and the object specified. [Allotrope]

has identifier
type: ObjectProperty
inverse of: identifies
alternative label: identified by
alternative label: identifier
alternative label: is identified by
definition: The relation of an entity to an identifier that denotes it. [Allotrope]

identifies
type: ObjectProperty
sub property of: denotes
domain: AFR_0000917
definition: The relation of an identifier to the entity it denotes. [Allotrope]

occurrent quantified by
type: ObjectProperty
sub property of: quantified by
domain: BFO_0000003
definition: Occurrent quantified by relates an occurrent entity with an information content entity that is a quantification of the occurrent (duration, rate). [Allotrope]

item of
type: ObjectProperty
sub property of: member of
type: AsymmetricProperty
type: IrreflexiveProperty
range: AFC_0000166
alternative label: in collection
alternative label: is item in
alternative label: member of
change note: 2017-11-16 Changed pref label [OSTHUS]
change note: 2018-07-23 Change hierarchy, subproperty of member of [Allotrope]
definition: In collection relates an item to a collection entity. [Allotrope]

quality influenced by
type: ObjectProperty
sub property of: depends on
inverse of: quality influences
type: TransitiveProperty
alternative label: influenced by
definition: Inverse of quality influences. [Allotrope]

quality influences
type: ObjectProperty
sub property of: related via dependence to
type: TransitiveProperty
domain: BFO_0000019
range: BFO_0000019
alternative label: influences
definition: 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]
example: volume influences density

quality strongly influences
type: ObjectProperty
sub property of: quality influences
definition: 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]

quality strongly influenced by
type: ObjectProperty
sub property of: quality influenced by
alternative label: strongly influenced by
definition: Inverse of quality strongly influences. [Allotrope]

contextual role of
type: ObjectProperty
sub property of: topObjectProperty
inverse of: has contextual role
alternative label: is contextual role of
definition: Inverse of has contextual role. [Allotrope]

lacks
type: ObjectProperty
sub property of: topObjectProperty
source: W. Ceusters, P. Elkin, B. Smith Referent Tracking: The Problem of Negative Findings 2006
definition: Property describing the absence of a particular in relation to another particular depending on its spatio-temporal existence. [Allotrope]
editorial note: if punning to a universal class: A particular is not the instance of a given class at some given time. A particular is not related in a specific way to any instance of a universal at some given time.

facet implemented as
type: ObjectProperty
sub property of: topObjectProperty
inverse of: implements facet
domain: AFR_0000923
range: IAO_0000030
alternative label: concretized as
alternative label: facet concretized as
alternative label: facet represented as
alternative label: implemented as
alternative label: represented as
definition: The relation between the abstract facet and a specific information that represents the facet. [Allotrope]
example: a label facet can be implemented as a barcode or written text
note: This relation is intended to bridge between different perspectives on the taxonomy of information content entities.

has contextual role
type: ObjectProperty
sub property of: is about
domain: IAO_0000030
range: AFRL_0000166
definition: The relation between an information object and its contextual role. [Allotrope]

in process
type: ObjectProperty
sub property of: has scope
domain: AFRL_0000166
range: BFO_0000015
alternative label: has contextual role in process
definition: The relation between a conceptual role and the process where the contextual role is realized. [Allotrope]

data output of
type: ObjectProperty
sub property of: output of
domain: IAO_0000030
range: BFO_0000015
alternative label: is data output of
definition: Inverse of 'has data output'. [Allotrope]

material output of
type: ObjectProperty
sub property of: output of
domain: AFM_0000275
range: BFO_0000015
alternative label: is material output of
definition: Inverse of 'has material output'. [Allotrope]

has proposition
type: ObjectProperty
domain: IAO_0000030
range: AFR_0000991
alternative label: has content
definition: The relation between a representation and its content independent of form. [Allotrope]

has representation form
type: ObjectProperty
domain: IAO_0000030
range: AFR_0000992
definition: The relation between the information and the way it is represented. [Allotrope]

has effort component
type: ObjectProperty
domain: AFM_0000880
range: BFO_0000019
definition: Has effort component relates an energy with its quality of effort. [Allotrope]

has flow component
type: ObjectProperty
domain: AFM_0000880
range: BFO_0000019
definition: Has flow component relates an energy with its quality of flow. [Allotrope]

has information derived from
type: ObjectProperty
type: TransitiveProperty
domain: IAO_0000030
range: IAO_0000030
definition: 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]

affects
type: ObjectProperty
sub property of: has participant
property chain axiom: starts with
property chain axiom: ends with
change note: 2018-10-24 Moved to relation ontology. [Allotrope]
definition: 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]

consumes
type: ObjectProperty
sub property of: has input
definition: 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]
example: An experimental step consumes a sample. [Allotrope]

targets
type: ObjectProperty
sub property of: has participant
inverse of: target of
alternative label: has focus
change note: 2020-11-12 Changed definition. [Allotrope]
definition: 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]
example: A hardness test targets the hardness quality. [Allotrope]

has proper part
type: ObjectProperty
sub property of: has part
inverse of: proper part of
type: TransitiveProperty
AFX_0002809: SIO_000053
definition: Has proper part is an antisymmetric, irreflexive (normally transitive) relation between a whole and a distinct part. [SIO]
example: An atom has subatomic particles as its proper parts.

facet of
type: ObjectProperty
sub property of: proper part of
inverse of: has facet
type: TransitiveProperty
alternative label: is facet of
definition: Facet of relates two information content entities where one information content entity is an aspect of the other one. [Allotrope]

has categorical value
type: ObjectProperty
sub property of: has facet
range: AFC_0000050
alternative label: has code
change note: 2020-12-01 Add alt label. [Allotrope]
definition: Has categorical value is a facet that relates an information content entity to a code that describes a category for classification. [Allotrope]

has description
type: ObjectProperty
AFX_0002808: description
alternative label: described by
alternative label: description
alternative label: is described by
definition: Has description relates an entity to an information content entity that is its description. [Allotrope]

has facet
type: ObjectProperty
sub property of: has proper part
type: TransitiveProperty
domain: IAO_0000030
range: AFR_0000923
definition: Relation between an information content entity and some part of it called a facet that is covers some general aspect of information context. [Allotrope]
example: a timestamp
example: a title
example: an ordering

has specification
type: ObjectProperty
alternative label: specification
alternative label: specified by
definition: Has specification relates an entity to an information content entity that is its specification. [Allotrope]

classifies
type: ObjectProperty
sub property of: is about
domain: AFR_0000916
definition: The relation between a classification and something that is grouped by the classification. [Allotrope]

implements facet
type: ObjectProperty
sub property of: topObjectProperty
alternative label: concretizes
alternative label: concretizes facet
alternative label: implements
alternative label: represents
alternative label: represents facet
change note: 2018-08-29 Changed pref label. [Allotrope]
definition: Inverse of facet concretized as. [Allotrope]

quantifies
type: ObjectProperty
sub property of: describes
definition: The relation of an information object to an entity that gives some indication of magnitude of a quality, information facet or process. [Allotrope]

index of
type: ObjectProperty
sub property of: denotes
inverse of: has index
domain: AFR_0000928
alternative label: is index of
definition: The relation between an index and the entity in an aggregate or list it denotes. [Allotrope]

has index
type: ObjectProperty
range: AFR_0000928
definition: The relation between an object and an index that denotes the object within an aggregate the object is member of. [Allotrope]

proxy for
type: ObjectProperty
definition: 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]
example: A measurement of a quality to indirectly measure another quality.
example: An object aggregate as a proxy for a collection.

has concept
type: ObjectProperty
sub property of: topObjectProperty
range: Concept
definition: The relation an entity and an associated SKOS concept. [Allotrope]
note: The relation is intended to relate a classifying datum with a SKOS concept, but there might be other uses. [Allotrope]

has direct part
type: ObjectProperty
sub property of: has proper part
inverse of: direct part of
AFX_0002809: SIO_000273
definition: 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
type: ObjectProperty
sub property of: related by order to
inverse of: follows
type: TransitiveProperty
AFX_0002808: NCIT C25629
alternative label: before
alternative label: has follower
alternative label: has successor
alternative label: leading
alternative label: preceeds
alternative label: prior
change note: 2020-06-22 Added alt labels, subclassed under 'related by order'. [Allotrope]
definition: 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
type: ObjectProperty
sub property of: related by order to
type: TransitiveProperty
AFX_0002808: NCIT C38008
alternative label: after
alternative label: has predecessor
alternative label: post
alternative label: succeeds
alternative label: trailing
change note: 2020-06-22 Added alt labels, subclassed under 'related by order'. [Allotrope]
definition: 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
type: ObjectProperty
sub property of: is followed by
inverse of: immediately follows
alternative label: has next
alternative label: next
definition: 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
type: ObjectProperty
sub property of: follows
alternative label: has previous
alternative label: previous
definition: 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
type: ObjectProperty
sub property of: topObjectProperty
definition: Relation of is a relation of a relational entity to the referred entities. [Allotrope]
example: A ratio quality is relation of two qualities of the same kind, whose magnitude is a ratio value.
example: A sum datum is relation of its summands.
note: This predicate is often used with punning, to avoid pre-coordination of ratios or differences. A af-q:ratio 'af-x:relation of' pato:mass is a mass ratio quality.

relates to
type: ObjectProperty
sub property of: relation of
definition: Relates to is a relation between a directed relational entity to the target of the relation. [Allotrope]
example: A ratio relates to the denominator.

relates from
type: ObjectProperty
sub property of: relation of
definition: Relates from is a relation between a directed relational entity to the source of the relation. [Allotrope]
example: A ratio relates from the numerator.

defines
type: ObjectProperty
sub property of: is about
inverse of: has definition
domain: AFR_0001561
definition: The relation between a definition and the entity that is defined by it. [Allotrope]

has definition
type: ObjectProperty
alternative label: defined by
alternative label: is defined by
definition: Has definition relates an entity to an information content entity that is its definition. [Allotrope]

ingredient of
type: ObjectProperty
sub property of: proper part of
alternative label: is ingredient of
definition: Inverse of has ingredient. [Allotrope]

proper part of
type: ObjectProperty
sub property of: part of
alternative label: is proper part of
definition: Inverse of has proper part. [Allotrope]

direct part of
type: ObjectProperty
sub property of: proper part of
alternative label: is direct part of
definition: Inverse of has direct part. [Allotrope]

observes
type: ObjectProperty
domain: BFO_0000015
range: BFO_0000015
definition: 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]

applies
type: ObjectProperty
range: Class
  union of: AFR_0000957
  union of: AFR_0001257
alternative label: conforms to
alternative label: follows
definition: An entity applies a specification or mathematical function, if the specification specifies the entity and the entity conforms or follows the specification. [Allotrope]

fulfills
type: ObjectProperty
domain: BFO_0000017
range: AFR_0001872
alternative label: meets
definition: 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]

is log of
type: ObjectProperty
sub property of: describes
domain: AFR_0000900
range: BFO_0000015
alternative label: is protocol of
alternative label: log of
alternative label: protocol of
definition: The relation between a log and the process the log is describing. [Allotrope]

is capability of
type: ObjectProperty
sub property of: is about
domain: AFR_0001103
alternative label: capability of
definition: The relation between a capability proposition and the subject it is about. [Allotrope]

related by order to
type: ObjectProperty
sub property of: topObjectProperty
definition: A relation between entities that are ordered into a list. [Allotrope]

target of
type: ObjectProperty
sub property of: participates in
alternative label: is focus of
alternative label: is target of
definition: 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]

selected in
type: ObjectProperty
sub property of: participates in
alternative label: applied in
alternative label: used in
definition: 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]

has state
type: ObjectProperty
sub property of: participates in
inverse of: state of
domain: BFO_0000002
range: AFP_0003374
definition: Has state is a relation between an continuant c and a state s where the c participates in s and s is expressed in the same way in terms of c at all times during s. [Allotrope]

state of
type: ObjectProperty
sub property of: has participant
domain: AFP_0003374
range: BFO_0000002
alternative label: is state of
definition: A relation between a state s and a continuant c where the c is a participant of s and s is expressed in the same way in terms of c at all times during s. [Allotrope]

has statistic datum role
type: ObjectProperty
sub property of: has contextual role
range: AFRL_0000328
definition: The relation between an information content object and its statistic datum role. [Allotrope]

part of
type: ObjectProperty
sub property of: overlaps
inverse of: has part
type: TransitiveProperty

has part
type: ObjectProperty
sub property of: overlaps
type: TransitiveProperty

realized in
type: ObjectProperty
sub property of: topObjectProperty
inverse of: realizes
domain: BFO_0000017
range: BFO_0000015

realizes
type: ObjectProperty
sub property of: topObjectProperty
domain: BFO_0000015
range: BFO_0000017

preceded by
type: ObjectProperty
sub property of: ends after
inverse of: precedes
type: TransitiveProperty
property chain axiom: part of
property chain axiom: starts during
property chain axiom: happens during
alternative label: is preceded by
definition: 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]

precedes
type: ObjectProperty
sub property of: temporally related to
type: TransitiveProperty
property chain axiom: part of
property chain axiom: happens during
definition: 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]

occurs in
type: ObjectProperty
sub property of: topObjectProperty
inverse of: contains process
domain: BFO_0000003
range: BFO_0000004
property chain axiom: part of
alternative label: unfolds in
definition: 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]

contains process
type: ObjectProperty
sub property of: topObjectProperty
alternative label: site of
definition: inverse of occurs in

located at
type: ObjectProperty
domain: BFO_0000004
range: BFO_0000006
alternative label: occupies spatial region
alternative label: occupies spatial region at some time
definition: b located at r means that r is a spatial region in which independent continuant b is exactly located. [BFO]

exists at
type: ObjectProperty
sub property of: topObjectProperty
inverse of: during which exists
domain: BFO_0000001
range: BFO_0000008
definition: b exists_at t means: b is an entity which exists at some temporal region t. [BFO]

has occurrent part
type: ObjectProperty
sub property of: has part
sub property of: temporally related to
inverse of: part of occurrent
type: TransitiveProperty
domain: BFO_0000003
range: BFO_0000003
definition: b has occurrent part c =Def. b has part c & b and c are occurrents.

has proper occurrent part
type: ObjectProperty
sub property of: has proper part
sub property of: has occurrent part
inverse of: proper part of occurrent
type: TransitiveProperty
definition: B has_proper_occurrent_part c =Def. b has_occurrent_part c & b and c are not identical. [BFO]

has profile
type: ObjectProperty
sub property of: topObjectProperty
inverse of: process profile of
domain: BFO_0000015
range: BFO_0000144

occupies spatiotemporal region
type: ObjectProperty
sub property of: topObjectProperty
domain: BFO_0000003
range: BFO_0000011
definition: 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]

part of occurrent
type: ObjectProperty
sub property of: part of
sub property of: temporally related to
type: TransitiveProperty
domain: BFO_0000003
range: BFO_0000003
definition: b occurrent_part_of c =Def. b is a part of c & b and c are occurrents. [BFO]

process profile of
type: ObjectProperty
sub property of: topObjectProperty

proper part of occurrent
type: ObjectProperty
sub property of: proper part of
sub property of: part of occurrent
type: TransitiveProperty
domain: BFO_0000003
range: BFO_0000003
definition: B proper_occurrent_part_of c =Def. b occurrent_part_of c & b and c are not identical. [BFO]

temporal part of
type: ObjectProperty
sub property of: part of occurrent
type: TransitiveProperty
domain: BFO_0000003
range: BFO_0000003
definition: 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]
example: The 4th year of your life is a temporal part of your life. [BFO]
example: The first quarter of a game of football is a temporal part of the whole game. [BFO]
example: The process boundary which separates the 3rd and 4th years of your life. [BFO]
example: The process of your heart beating from 4pm to 5pm today is a temporal part of the entire process of your heart beating. [BFO]

during which exists
type: ObjectProperty
sub property of: topObjectProperty
domain: BFO_0000008
range: BFO_0000001
definition: inverse of exists at [BFO]

history of
type: ObjectProperty
sub property of: occurs in
type: InverseFunctionalProperty
domain: BFO_0000015
range: BFO_0000040
definition: b history_of c if c is a material entity or site and b is a history that is the unique history of c

has history
type: ObjectProperty
sub property of: contains process
type: InverseFunctionalProperty
domain: BFO_0000040
range: BFO_0000015
definition: inverse of history of

is about
type: ObjectProperty
sub property of: topObjectProperty
domain: IAO_0000030
example: This document is about information artifacts and their representations. [IAO]

denotes
type: ObjectProperty
sub property of: is about
definition: 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]
example: A person's name denotes the person. [IAO]
example: A variable name in a computer program denotes some piece of memory. [IAO]
example: 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]

proxy for
type: ObjectProperty
sub property of: proxy for
domain: BFO_0000002
range: BFO_0000002
alternative label: is proxy for
definition: 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]
example: Florescent intensity is proxy for amount of protein labeled with GFP [OBI]
example: position on a gel is proxy for mass and charge of molecule in an western blot [OBI]

has grain
type: ObjectProperty
sub property of: has proper part
inverse of: is grain of
type: TransitiveProperty
definition: 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]

is grain of
type: ObjectProperty
sub property of: proper part of
type: TransitiveProperty
definition: 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]

inheres in
type: ObjectProperty
sub property of: inheres in part of
inverse of: bearer of

bearer of
type: ObjectProperty
sub property of: topObjectProperty
range: BFO_0000020
alternative label: is bearer of
definition: 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]
editorial note: A bearer can have many dependents, and its dependents can exist for different periods of time, but none of its dependents can exist when the bearer does not exist. [RO]
example: this apple is bearer of this red color
example: this vase is bearer of this fragility

participates in
type: ObjectProperty
sub property of: topObjectProperty
inverse of: has participant
domain: BFO_0000002
range: BFO_0000003
alternative label: is participant of
definition: A relation between a continuant and a process, in which the continuant is somehow involved in the process [RO]

has participant
type: ObjectProperty
sub property of: topObjectProperty
domain: BFO_0000003
range: BFO_0000002
definition: A relation between a process and a continuant, in which the continuant is somehow involved in the process [RO]
example: this blood coagulation has participant this blood clot
example: this investigation has participant this investigator
example: this process has participant this input material (or this output material)

concretized by
type: ObjectProperty
sub property of: topObjectProperty
inverse of: concretizes
domain: BFO_0000031
range: BFO_0000020
alternative label: is concretized as
definition: 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]
example: 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]
example: 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]

concretizes
type: ObjectProperty
sub property of: topObjectProperty
domain: BFO_0000020
range: BFO_0000031
definition: 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]
example: 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).
example: 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).

function of
type: ObjectProperty
sub property of: inheres in
inverse of: has function
domain: BFO_0000034
alternative label: is function of
definition: A relation between a function and an independent continuant (the bearer), in which the function specifically depends on the bearer for its existence. [RO]

quality of
type: ObjectProperty
sub property of: inheres in
inverse of: has quality
definition: Inverse of has quality [RO]

role of
type: ObjectProperty
sub property of: inheres in
inverse of: has role
alternative label: is role of
definition: A relation between a role and an independent continuant (the bearer), in which the role specifically depends on the bearer for its existence. [RO]

has function
type: ObjectProperty
sub property of: bearer of
domain: BFO_0000004
range: BFO_0000034
definition: A relation between an independent continuant (the bearer) and a function, in which the function specifically depends on the bearer for its existence. [RO]
editorial note: A bearer can have many functions, and its functions can exist for different periods of time, but none of its functions can exist when the bearer does not exist. A function need not be realized at all the times that the function exists. [RO]
example: this enzyme has function this catalysis function (more colloquially: this enzyme has this catalysis function)

has quality
type: ObjectProperty
sub property of: bearer of
range: BFO_0000019
definition: A relation between an independent continuant (the bearer) and a quality, in which the quality specifically depends on the bearer for its existence. [RO]
editorial note: A bearer can have many qualities, and its qualities can exist for different periods of time, but none of its qualities can exist when the bearer does not exist. [RO]
example: this apple has quality this red color

has role
type: ObjectProperty
sub property of: bearer of
domain: BFO_0000004
range: BFO_0000023
definition: A relation between an independent continuant (the bearer) and a role, in which the role specifically depends on the bearer for its existence [RO]
editorial note: A bearer can have many roles, and its roles can exist for different periods of time, but none of its roles can exist when the bearer does not exist. A role need not be realized at all the times that the role exists. [RO]
example: this person has role this investigator role (more colloquially: this person has this role of investigator) [RO]

has disposition
type: ObjectProperty
sub property of: bearer of
inverse of: disposition of
domain: BFO_0000004
range: BFO_0000016
definition: A relation between an independent continuant (the bearer) and a disposition, in which the disposition specifically depends on the bearer for its existence, [RO]

disposition of
type: ObjectProperty
sub property of: inheres in
definition: Inverse of has disposition [RO]

derives from
type: ObjectProperty
inverse of: derives into
definition: 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]
example: this cell derives from this parent cell (cell division)
example: this nucleus derives from this parent nucleus (nuclear division)

derives into
type: ObjectProperty
definition: 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]
editorial note: This is a very general relation. More specific relations are preferred when applicable, such as 'directly develops into'. To avoid making statements about a future that may not come to pass, it is often better to use the backward-looking 'derives from' rather than the forward-looking 'derives into'. [RO]

location of
type: ObjectProperty
sub property of: topObjectProperty
type: TransitiveProperty
domain: BFO_0000004
range: BFO_0000004
alternative label: is location of
definition: a relation between two independent continuants, the location and the target, in which the target is entirely within the location [RO]
example: this cage is the location of this rat

located in
type: ObjectProperty
sub property of: topObjectProperty
type: TransitiveProperty
domain: BFO_0000004
range: BFO_0000004
definition: A relation between two independent continuants, the target and the location, in which the target is entirely within the location. [RO]

2D boundary of
type: ObjectProperty
sub property of: mereotopologically related to
inverse of: has 2D boundary
alternative label: boundary of
alternative label: is 2D boundary of
alternative label: is boundary of
definition: a relation between a 2D immaterial entity (the boundary) and a material entity, in which the boundary delimits the material entity [RO]
editorial note: A 2D boundary may have holes and gaps, but it must be a single connected entity, not an aggregate of several disconnected parts. [RO]
editorial note: Although the boundary is two-dimensional, it exists in three-dimensional space and thus has a 3D shape. [RO]
example: the surface of my skin is a 2D boundary of my body

has 2D boundary
type: ObjectProperty
sub property of: mereotopologically related to
domain: BFO_0000040
range: BFO_0000040
definition: a relation between a material entity and a 2D immaterial entity (the boundary), in which the boundary delimits the material entity [RO]
editorial note: A 2D boundary may have holes and gaps, but it must be a single connected entity, not an aggregate of several disconnected parts. [RO]
editorial note: Although the boundary is two-dimensional, it exists in three-dimensional space and thus has a 3D shape. [RO]

occurrent part of
type: ObjectProperty
sub property of: part of
sub property of: causally upstream of or within
domain: BFO_0000003
range: BFO_0000003
definition: A part of relation that applies only between occurrents. [RO]

before or simultaneous with
type: ObjectProperty
sub property of: temporally related to
definition: Primitive instance level timing relation between events [RO]

simultaneous with
type: ObjectProperty
sub property of: before or simultaneous with
type: TransitiveProperty
definition: t1 simultaneous_with t2 iff:= t1 before_or_simultaneous_with t2 and not (t1 before t2) [RO]

before
type: ObjectProperty
sub property of: before or simultaneous with
type: TransitiveProperty
definition: t1 before t2 iff:= t1 before_or_simulataneous_with t2 and not (t1 simultaneous_with t2) [RO]

during which ends
type: ObjectProperty
sub property of: temporally related to
inverse of: ends during

encompasses
type: ObjectProperty
sub property of: during which starts
inverse of: happens during
type: TransitiveProperty

ends after
type: ObjectProperty
sub property of: temporally related to
type: TransitiveProperty
property chain axiom: ends during
property chain axiom: preceded by
definition: X ends_after Y iff: end(Y) before_or_simultaneous_with end(X) [RO]

immediately preceded by
type: ObjectProperty
sub property of: preceded by
inverse of: immediately precedes
property chain axiom: starts with
property chain axiom: ends with
alternative label: starts at end of
definition: X immediately_preceded_by Y iff: end(X) simultaneous_with start(Y) [RO]

during which starts
type: ObjectProperty
sub property of: temporally related to
inverse of: starts during

starts before
type: ObjectProperty
sub property of: temporally related to
type: TransitiveProperty
property chain axiom: starts during
property chain axiom: preceded by

immediately precedes
type: ObjectProperty
sub property of: precedes
property chain axiom: ends with
property chain axiom: starts with
alternative label: ends at start of
alternative label: meets
definition: X immediately_precedes_Y iff: end(X) simultaneous_with start(Y) [RO]

starts during
type: ObjectProperty
sub property of: temporally related to
definition: X starts_during Y iff: (start(Y) before_or_simultaneous_with start(X)) AND (start(X) before_or_simultaneous_with end(Y)) [RO]

happens during
type: ObjectProperty
sub property of: ends during
type: TransitiveProperty
alternative label: during
definition: X happens_during Y iff: (start(Y) before_or_simultaneous_with start(X)) AND (end(X) before_or_simultaneous_with end(Y)) [RO]

ends during
type: ObjectProperty
sub property of: temporally related to
definition: X ends_during Y iff: ((start(Y) before_or_simultaneous_with end(X)) AND end(X) before_or_simultaneous_with end(Y). [RO]

overlaps
type: ObjectProperty
sub property of: mereotopologically related to
property chain axiom: part of
property chain axiom: has part
definition: x overlaps y if and only if there exists some z such that x has part z and z part of y [RO]

continuous with
type: ObjectProperty
sub property of: mereotopologically related to
domain: BFO_0000004
range: BFO_0000004
definition: X continuous_with Y if and only if X and Y share a fiat boundary. [RO]

spatially disjoint from
type: ObjectProperty
sub property of: mereotopologically related to
definition: A is spatially_disjoint_from B if and only if they have no parts in common [RO]
editorial note: Note that it would be possible to use the relation to label the relationship between a near infinite number of structures - between the rings of saturn and my left earlobe. The intent is that this is used for parsiomoniously for disambiguation purposes - for example, between siblings in a jointly exhaustive pairwise disjointness hierarchy [RO]

connected to
type: ObjectProperty
sub property of: mereotopologically related to
property chain axiom:
  inverse of: connects
property chain axiom: connects
definition: 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]

connects
type: ObjectProperty
sub property of: mereotopologically related to
domain: BFO_0000004
definition: 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]

attached to part of
type: ObjectProperty
sub property of: mereotopologically related to
domain: BFO_0000040
range: BFO_0000040
property chain axiom: attached to
property chain axiom: part of
definition: 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]

has component
type: ObjectProperty
sub property of: has part
definition: 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]
editorial note: For use in recording has_part with a cardinality constraint, because OWL does not permit cardinality constraints to be used in combination with transitive object properties. In situations where you would want to say something like 'has part exactly 5 digit, you would instead use has_component exactly 5 digit. [RO]

regulates
type: ObjectProperty
sub property of: causally upstream of or within
inverse of: regulated by
domain: BFO_0000015
range: BFO_0000015
definition: 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]

negatively regulates (process to process)
type: ObjectProperty
sub property of: regulates
sub property of: causally upstream of, negative effect
definition: 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]

positively regulates (process to process)
type: ObjectProperty
sub property of: regulates
sub property of: causally upstream of, positive effect
definition: 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]

capable of
type: ObjectProperty
sub property of: capable of part of
alternative label: has function realized in
definition: 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]
editorial note: this relation has a shortcut definition in which the expression "capable of some P" expands to "bearer_of (some realized_by only P)
example: mechanosensory neuron capable of detection of mechanical stimulus involved in sensory perception [RO]

capable of part of
type: ObjectProperty
sub property of: functionally related to
sub property of: causal agent in process
property chain axiom: capable of
property chain axiom: part of
alternative label: has function in
definition: 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]

actively participates in
type: ObjectProperty
sub property of: participates in
inverse of: has active participant
alternative label: agent in
definition: X actively participates in y if and only if x participates in y and x realizes some active role [RO]

has active participant
type: ObjectProperty
sub property of: has participant
alternative label: has agent
definition: X has participant y if and only if x realizes some active role that inheres in y [RO]

surrounded by
type: ObjectProperty
sub property of: adjacent to
inverse of: surrounds
definition: 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]

adjacent to
type: ObjectProperty
sub property of: spatially disjoint from
definition: X adjacent to y if and only if x and y share a boundary. [RO]
example: 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.
example: The epidermis layer of a vertebrate is adjacent to the dermis.
example: The plasma membrane of a cell is adjacent to the cytoplasm, and also to the cell lumen which the cytoplasm occupies.
example: 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.

surrounds
type: ObjectProperty
sub property of: adjacent to
definition: Inverse of surrounded by [RO]

temporally related to
type: ObjectProperty
sub property of: topObjectProperty
domain: BFO_0000003
range: BFO_0000003
definition: A relation that holds between two occurrents. This is a grouping relation that collects together all the Allen relations. [RO]

starts
type: ObjectProperty
sub property of: part of
sub property of: temporally related to
inverse of: starts with
definition: Inverse of starts with [RO]

starts with
type: ObjectProperty
sub property of: has part
sub property of: temporally related to
type: TransitiveProperty
definition: 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]

ends
type: ObjectProperty
sub property of: part of
sub property of: temporally related to
inverse of: ends with
definition: Inverse of ends with [RO]

ends with
type: ObjectProperty
sub property of: has part
sub property of: temporally related to
type: TransitiveProperty
definition: 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]

acts upstream of
type: ObjectProperty
sub property of: acts upstream of or within
property chain axiom: enables
property chain axiom: causally upstream of
definition: C involved in regulation of p if c enables 'p' and p' causally upstream of p [RO]

acts upstream of or within
type: ObjectProperty
sub property of: causal agent in process
definition: C acts upstream of or within p if c is enables 'p' and p' causally upstream of or within p [RO]

causally upstream of, positive effect
type: ObjectProperty
sub property of: causally upstream of

causally upstream of, negative effect
type: ObjectProperty
sub property of: causally upstream of
definition: 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]

inheres in part of
type: ObjectProperty
sub property of: depends on
property chain axiom: inheres in
property chain axiom: part of
definition: 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]

mereotopologically related to
type: ObjectProperty
sub property of: topObjectProperty
definition: A mereological relationship or a topological relationship [RO]
editorial note: Do not use this relation directly. It is ended as a grouping for a diverse set of relations, all involving parthood or connectivity relationships [RO]

contributes to
type: ObjectProperty
sub property of: capable of part of
definition: 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]

enables
type: ObjectProperty
sub property of: capable of
inverse of: enabled by
alternative label: catalyzes
alternative label: executes
editorial note: This relation differs from the parent relation 'capable of' in that the parent is weaker and only expresses a capability that may not be actually realized, whereas this relation is always realized. [RO]
example: a particular instances of akt-2 enables some instance of protein kinase activity [RO]

functionally related to
type: ObjectProperty
sub property of: topObjectProperty
definition: This is a grouping relation that collects relations used for the purpose of connecting structure and function. [RO]

involved in
type: ObjectProperty
sub property of: involved in or involved in regulation of
property chain axiom: enables
property chain axiom: part of
alternative label: actively involved in
alternative label: enables part of
definition: C involved_in p if and only if c enables some process p', and p' is part of p [RO]

regulates levels of (process to entity)
type: ObjectProperty
sub property of: has participant
alternative label: regulates levels of
definition: P regulates levels of c if p regulates some amount (PATO:0000070) of c [RO]
example: every cellular sphingolipid homeostasis process regulates_level_of some sphingolipid

enabled by
type: ObjectProperty
sub property of: functionally related to
definition: inverse of enables [RO]

regulated by
type: ObjectProperty
sub property of: causally downstream of or within
type: TransitiveProperty
domain: BFO_0000015
range: BFO_0000015

negatively regulated by
type: ObjectProperty
sub property of: regulated by
definition: Inverse of negatively regulates [RO]

positively regulated by
type: ObjectProperty
sub property of: regulated by
definition: Inverse of positively regulates [RO]

related via localization to
type: ObjectProperty
sub property of: topObjectProperty
definition: A relationship that holds via some process of localization. [RO]

has target start location
type: ObjectProperty
sub property of: results in transport to from or in
definition: 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]

has target end location
type: ObjectProperty
sub property of: results in transport to from or in
definition: 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]

results in transport along
type: ObjectProperty
sub property of: related via localization to
definition: 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]

results in transport across
type: ObjectProperty
sub property of: results in transport to from or in
definition: 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]

results in transport to from or in
type: ObjectProperty
sub property of: related via localization to
example: 'mitochondrial transport' results_in_transport_to_from_or_in some mitochondrion (GO:0005739)

member of
type: ObjectProperty
sub property of: proper part of
inverse of: has member
type: AsymmetricProperty
type: IrreflexiveProperty
alternative label: member part of
definition: Inverse of has member
example: An organism that is a member of a population of organisms. [RO]

has member
type: ObjectProperty
sub property of: has proper part
type: AsymmetricProperty
type: IrreflexiveProperty
definition: Has member is a mereological relation between a collection and an item. [RO]

attached to
type: ObjectProperty
sub property of: connected to
sub property of: attached to part of
type: SymmetricProperty
definition: 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]

spatially coextensive with
type: ObjectProperty
sub property of: overlaps
definition: X spatially_coextensive_with y if and only if x and y have the same location [RO]
example: A lump of clay and a statue

causally downstream of
type: ObjectProperty
sub property of: preceded by
sub property of: causally downstream of or within
inverse of: causally upstream of
definition: inverse of upstream of [RO]

immediately causally downstream of
type: ObjectProperty
sub property of: immediately preceded by
sub property of: causally downstream of
inverse of: immediately causally upstream of
definition: inverse of immediately causally upstream of

causally related to
type: ObjectProperty
sub property of: related via dependence to
editorial note: Do not use this relation directly. It is intended as a grouping for a diverse set of relations, all involving cause and effect. [IAO]
note: This relation groups causal relations between material entities and causal relations between processes. [IAO]

causally upstream of
type: ObjectProperty
sub property of: precedes
sub property of: causally upstream of or within
definition: P is causally upstream of q if and only if p precedes q and p and q are linked in a causal chain [RO]

immediately causally upstream of
type: ObjectProperty
sub property of: immediately precedes
sub property of: causally upstream of
definition: 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]

causally upstream of or within
type: ObjectProperty
sub property of: causal relation between processes
inverse of: causally downstream of or within
type: TransitiveProperty
alternative label: affects
definition: 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]

causally downstream of or within
type: ObjectProperty
sub property of: causal relation between processes
type: TransitiveProperty

involved in regulation of
type: ObjectProperty
sub property of: acts upstream of
sub property of: involved in or involved in regulation of
property chain axiom: enables
property chain axiom: regulates
property chain axiom: involved in
definition: C involved in regulation of p if c is involved in some 'p' and p' regulates some p [RO]

involved in positive regulation of
type: ObjectProperty
sub property of: involved in regulation of
property chain axiom: enables
property chain axiom: positively regulates (process to process)
property chain axiom: involved in

involved in negative regulation of
type: ObjectProperty
sub property of: involved in regulation of
property chain axiom: enables
property chain axiom: negatively regulates (process to process)
property chain axiom: involved in

involved in or involved in regulation of
type: ObjectProperty
sub property of: acts upstream of or within
sub property of: functionally related to
sub property of: causal agent in process
alternative label: involved in or regulates
definition: 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]

interacts with
type: ObjectProperty
sub property of: topObjectProperty
domain: BFO_0000040
range: BFO_0000040
alternative label: pairwise interacts with
definition: A relationship that holds between two entities in which the processes executed by the two entities are causally connected. [RO]
editorial note: This relation and all sub-relations can be applied to either (1) pairs of entities that are interacting at any moment of time (2) populations or species of entity whose members have the disposition to interact (3) classes whose members have the disposition to interact. [RO]

partner in
type: ObjectProperty
sub property of: participates in
definition: 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]

subject participant in
type: ObjectProperty
sub property of: partner in
alternative label: subject in
definition: 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]
example: in a predator-prey interaction process the subject is the predator

target participant in
type: ObjectProperty
sub property of: partner in
alternative label: target in
definition: 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]
example: in a predator-prey interaction process the target is the prey

causal agent in process
type: ObjectProperty
sub property of: causal relation between material entity and a process
alternative label: causal agent in
definition: A relationship between a material entity and a process where the material entity has some causal role that influences the process. [RO]

causal relation between processes
type: ObjectProperty
sub property of: causally related to
type: TransitiveProperty
domain: BFO_0000003
range: BFO_0000003
definition: 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]

depends on
type: ObjectProperty
sub property of: topObjectProperty
definition: Being determined, based or contingent on something. [Allotrope]

towards
type: ObjectProperty
sub property of: depends on
definition: 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]
editorial note: This relation is provided in order to support the use of relational qualities such as 'concentration of'; for example, the concentration of C in V is a quality that inheres in V, but pertains to C. [RO]

has intermediate
type: ObjectProperty
sub property of: has participant
alternative label: has intermediate product
definition: P has intermediate c if and only if p has parts p1, p2 and p1 has output c, and p2 has input c [RO]

causal relation between material entities
type: ObjectProperty
sub property of: causally related to
domain: BFO_0000040
range: BFO_0000040
editorial note: Do not use this relation directly. It is intended as a grouping for a diverse set of relations, all involving cause and effect. [RO]

determined by (system to material entity)
type: ObjectProperty
sub property of: part of
sub property of: determined by part of
sub property of: causally influenced by (material entity to material entity)
inverse of: determines (material entity to system)
domain: system
range: BFO_0000040
alternative label: determined by
definition: 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]

determines (material entity to system)
type: ObjectProperty
sub property of: causally influences (material entity to material entity)
alternative label: determines

determined by part of
type: ObjectProperty
sub property of: overlaps
sub property of: causal relation between material entities
domain: system
range: BFO_0000040
property chain axiom: determined by (system to material entity)
property chain axiom: part of
definition: 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]

sequentially related to
type: ObjectProperty
definition: A relation that holds between two entities that have the property of being sequences or having sequences. [RO]

sequentially adjacent to
type: ObjectProperty
sub property of: does not overlap sequence of
definition: 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]

has start sequence
type: ObjectProperty
sub property of: has subsequence
inverse of: is start sequence of
type: TransitiveProperty
alternative label: started by
definition: 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]

is start sequence of
type: ObjectProperty
sub property of: has subsequence
type: TransitiveProperty
alternative label: starts
definition: inverse of has start sequence [RO]

has end sequence
type: ObjectProperty
sub property of: has subsequence
inverse of: is end sequence of
type: TransitiveProperty
alternative label: ended by
definition: 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]

is end sequence of
type: ObjectProperty
sub property of: is subsequence of
type: TransitiveProperty
alternative label: ends
definition: inverse of has end sequence [RO]

bounds sequence of
type: ObjectProperty
sub property of: sequentially related to
inverse of: is bound by sequence of
type: TransitiveProperty
definition: 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]

is bound by sequence of
type: ObjectProperty
sub property of: sequentially related to
type: TransitiveProperty
definition: inverse of bounds sequence of [RO]

has subsequence
type: ObjectProperty
sub property of: has part
sub property of: bounds sequence of
sub property of: overlaps sequence of
inverse of: is subsequence of
type: TransitiveProperty
alternative label: contains
definition: x has subsequence y if and only if all of the sequence parts of x are sequence parts of y [RO]

is subsequence of
type: ObjectProperty
sub property of: part of
sub property of: is bound by sequence of
sub property of: overlaps sequence of
type: TransitiveProperty
alternative label: contained by
definition: inverse of has subsequence [RO]

overlaps sequence of
type: ObjectProperty
sub property of: overlaps
sub property of: sequentially related to
definition: x overlaps the sequence of x if and only if x has a subsequence z and z is a subsequence of y. [RO]

does not overlap sequence of
type: ObjectProperty
sub property of: sequentially related to
type: SymmetricProperty
alternative label: disconnected from
definition: 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]

is upstream sequence of
type: ObjectProperty
sub property of: does not overlap sequence of
inverse of: is downstream of sequence of
type: TransitiveProperty
definition: inverse of downstream sequence of [RO]

is downstream of sequence of
type: ObjectProperty
sub property of: does not overlap sequence of
type: TransitiveProperty
definition: 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]

is immediately downstream of sequence of
type: ObjectProperty
sub property of: sequentially adjacent to
sub property of: is downstream of sequence of
inverse of: is immediately upstream sequence of
definition: 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]

is immediately upstream sequence of
type: ObjectProperty
sub property of: sequentially adjacent to
sub property of: is upstream sequence of
definition: inverse of immediately downstream of [RO]

causally influenced by (material entity to material entity)
type: ObjectProperty
sub property of: causal relation between material entities
inverse of: causally influences (material entity to material entity)
alternative label: causally influenced by

causally influences (material entity to material entity)
type: ObjectProperty
sub property of: causal relation between material entities
alternative label: causally influences
definition: 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]

conduit for
type: ObjectProperty
sub property of: overlaps
domain: BFO_0000040
range: BFO_0000040
definition: 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]
editorial note: This relation holds between a thing with a 'conduit' (e.g. a bone foramen) and a 'conduee' (for example, a nerve) such that at the time the relationship holds, the conduee has two ends sticking out either end of the conduit. It should therefore note be used for objects that move through the conduit but whose spatial extent does not span the passage. For example, it would not be used for a mountain that contains a long tunnel through which trains pass. Nor would we use it for a digestive tract and objects such as food that pass through. [RO]

has part structure that is capable of
type: ObjectProperty
sub property of: functionally related to
sub property of: causal relation between material entity and a process
property chain axiom: has part
property chain axiom: capable of
definition: 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]

causal relation between material entity and a process
type: ObjectProperty
sub property of: causally related to
domain: BFO_0000040
range: BFO_0000015
definition: 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. [RO]

is marker for
type: ObjectProperty
sub property of: correlated with
definition: C is marker for d if and only if the presence or occurrence of d is correlated with the presence of occurrence of c, and the observation of c is used to infer the presence or occurrence of d. Note that this does not imply that c and d are in a direct causal relationship, as it may be the case that there is a third entity e that stands in a direct causal relationship with c and d. [RO]

related via dependence to
type: ObjectProperty
definition: 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. [RO]
editorial note: Do not use this relation directly. It is intended as a grouping for a diverse set of relations, all involving cause and effect. [IAO]

correlated with
type: ObjectProperty
sub property of: related via dependence to
definition: A relationship that holds between two entities, where the entities exhibit a statistical dependence relationship. The entities may be statistical variables, or they may be other kinds of entities such as diseases, chemical entities or processes. [RO]
editorial note: Groups both positive and negative correlation

produces
type: ObjectProperty
sub property of: topObjectProperty
inverse of: produced by
domain: BFO_0000040
range: BFO_0000040
definition: a produces b if some process that occurs_in a has_output b, where a and b are material entities. [RO]
editorial note: Note that this definition doesn't quite distinguish the output of a transformation process from a production process, which is related to the identity/granularity issue [RO]
example: chondroblast produces avascular GAG-rich matrix
example: hybridoma cell line produces monoclonal antibody reagent

produced by
type: ObjectProperty
sub property of: topObjectProperty
domain: BFO_0000040
range: BFO_0000040
definition: inverse of produces

causes or contributes to condition
type: ObjectProperty
sub property of: causally related to
definition: A relationship between an entity (e.g. a genotype, genetic variation, chemical, or environmental exposure) and a condition (a phenotype or disease), where the entity has some causal or contributing role that influences the condition. [RO]

causes condition
type: ObjectProperty
sub property of: causes or contributes to condition
definition: A relationship between an entity (e.g. a genotype, genetic variation, chemical, or environmental exposure) and a condition (a phenotype or disease), where the entity has some causal role for the condition. [RO]

contributes to condition
type: ObjectProperty
sub property of: causes or contributes to condition
definition: A relationship between an entity (e.g. a genotype, genetic variation, chemical, or environmental exposure) and a condition (a phenotype or disease), where the entity has some contributing role that influences the condition. [RO]

has quantity kind
type: ObjectProperty
range: QuantityKind
AFX_0002865: qudt
alternative label: quantity kind

has quantity value
type: ObjectProperty
AFX_0002865: qudt
alternative label: quantity value

has unit
type: ObjectProperty
range: Unit
AFX_0002865: qudt
alternative label: unit

count
type: DatatypeProperty
range: Datatype
  on datatype: integer
  with restrictions:
    min inclusive: 0
alternative label: number of objects
alternative label: objects count
alternative label: size
definition: The number of objects counted. [Allotrope]

minimum value
type: DatatypeProperty
definition: The lowest value of a range of literals. [Allotrope]

minimum value exclusive
type: DatatypeProperty
sub property of: minimum value
definition: The lowest value of a range excluding the boundary value. [Allotrope]

minimum value inclusive
type: DatatypeProperty
sub property of: minimum value
definition: The lowest value of a range including the boundary value. [Allotrope]

maximum value
type: DatatypeProperty
definition: The highest value of a range of literals. [Allotrope]

maximum value exclusive
type: DatatypeProperty
sub property of: maximum value
definition: The highest value of a range excluding the boundary value. [Allotrope]

maximum value inclusive
type: DatatypeProperty
sub property of: maximum value
definition: The highest value of a range including the boundary value. [Allotrope]

is valid
type: DatatypeProperty
alternative label: valid
definition: The property flags an information as correct and without errors. [Allotrope]

index
type: DatatypeProperty
range: Datatype
  on datatype: integer
  with restrictions:
    min inclusive: 0
definition: Position in an ordered list. [Allotrope]

increment value
type: DatatypeProperty
alternative label: step size value
definition: The difference between two discrete points next to each other in a range of discrete values. [Allotrope]
example: A device property can be set between a minimum and maximum value but only in steps of the increment value.

has value
type: DatatypeProperty
alternative label: value
definition: The literal piece of information as part of some information entity object. [Allotrope]

collection size
type: DatatypeProperty
sub property of: count
domain: AFC_0000166
alternative label: count
alternative label: length
alternative label: size
definition: The collection size is the number of entries in a collection. [Allotrope]

reference value
type: DatatypeProperty
sub property of: has value
definition: A value that used as a basis for comparison. [Allotrope]

tensor rank
type: DatatypeProperty
domain: AFR_0000958
range: Datatype
  on datatype: integer
  with restrictions:
    min inclusive: 0
alternative label: degree
alternative label: order
alternative label: rank
definition: Tensor rank is the total number of indices required to identify each component of a tensor uniquely. It is equal to the dimension of the tensor. [Wikipedia]

index 1
type: DatatypeProperty
range: Datatype
  on datatype: integer
  with restrictions:
    min inclusive: 0
definition: The second index value in a multi-dimensional datum. [Allotrope]

index 0
type: DatatypeProperty
range: Datatype
  on datatype: integer
  with restrictions:
    min inclusive: 0
definition: The first index value in a multi-dimensional datum. [Allotrope]

minimum error exclusive
type: DatatypeProperty
sub property of: minimum value exclusive
alternative label: error min exclusive
definition: Minimum error exclusive is the absolute error amount (exclusive) by which the actual value could be lower than the stated value. [Allotrope]

maximum error exclusive
type: DatatypeProperty
sub property of: maximum value exclusive
alternative label: error max exclusive
definition: Maximum error exclusive is the absolute error amount (exclusive) by which the actual value could be higher than the stated value. [Allotrope]

has numeric value
type: DatatypeProperty
range: double
alternative label: numeric value

has relative standard uncertainty
type: DatatypeProperty
range: double
alternative label: relative standard uncertainty
definition: The relative standard uncertainty of a measurement is the (absolute) standard uncertainty divided by the magnitude of the exact value. [QUDT]

has standard uncertainty
type: DatatypeProperty
range: double
alternative label: standard uncertainty
definition: The standard uncertainty of a quantity is the estimated standard deviation of the mean taken from a series of measurements. [QUDT]

has symbol
type: DatatypeProperty
range: string
alternative label: symbol
definition: The symbol for a unit is a glyph that is used to represent the unit in a compact form. [QUDT]
example: For example, the symbol for the US Dollar is $. This contrasts with unit:abbreviation, which gives a short alphanumeric abbreviation for the unit. (I.e. USD for US Dollar). [QUDT]

notation
type: DatatypeProperty
AFX_0002865: core
definition: A notation, also known as classification code, is a string of characters such as "T58.5" or "303.4833" used to uniquely identify a concept within the scope of a given concept scheme.
scope note: By convention, skos:notation is used with a typed literal in the object position of the triple.

system
type: Class
subclass of: BFO_0000040

Allotrope Foundation
type: NamedIndividual
type: Organization

Derivative works attribution
type: NamedIndividual
description: These taxonomies contain material or may constitute derivative works of material which may be subject to copyright by one of the following organizations. By using these taxonomies, you agree to the following terms and conditions applicable to its contents: ****************************************************************************** Attribution Notice for National Center for Biomedical Ontology materials. This work contains material from the Cell Ontology and Clinical Measurement Ontology, available here: http://bioportal.bioontology.org/. ****************************************************************************** Attribution Notice for ChEBI This work contains material from the European Bioinformatics Institute’s ChEBI database. ****************************************************************************** Attribution Notice for Quantities Units Dimensions Data Types (http://www.qudt.org/) This work contains content from www.qudt.org and is used pursuant to a Creative Commons License available here: http://creativecommons.org/licenses/by-sa/3.0/us/legalcode. The original work may have been modified. ****************************************************************************** Copyright and Attribution Notice for Dublin Core Metadata Initiative Document This work contains material from the following DCMI document used pursuant to a creative commons license available here: https://creativecommons.org/licenses/by/4.0/legalcode. This material may have been modified or changed. Timestamped URL: http://dublincore.org/documents/2012/06/14/dcmi-terms/ Date Issued: 2012-06-14 Document Status: This is a DCMI Recommendation. Copyright © 1995-2015 DCMI. All Rights Reserved. DCMI liability, trademark/service mark, document use and software licensing rules apply. ******************************************************************************

Copyright © 2015-2025 Allotrope Foundation
type: NamedIndividual
type: RightsStatement
description: Copyright © 2015-2025 Allotrope Foundation
rights holder: Allotrope Foundation

Creative Commons Attribution 4.0 International Public License
type: NamedIndividual
description: This work is licensed under a Creative Commons Attribution 4.0 International License http://creativecommons.org/licenses/by/4.0/. THESE MATERIALS ARE PROVIDED "AS IS" AND ALLOTROPE EXPRESSLY DISCLAIMS ALL WARRANTIES, EXPRESS, IMPLIED OR STATUTORY, INCLUDING, WITHOUT LIMITATION, THE WARRANTIES OF NON-INFRINGEMENT, TITLE, MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE. Copyright © 2015-2025 Allotrope Foundation
rights holder: Allotrope Foundation