BSD 3-Clause: https://github.com/CommonCoreOntology/CommonCoreOntologies/blob/master/LICENSE
CUBRC Inc., see full license.
This ontology is designed to represent many of the relations (i.e. object properties) that hold between entities at the level of the mid-level Common Core Ontologies.
Extended Relation Ontology
Version 2.0
query text
The text of a query that is associated with a class
doctrinal definition
A Definition that is taken directly from a Doctrinal Source.
There is only one definition for any given term in an ontology; however, a Doctrinal Definition may be provided in addition to the asserted Definition if the preservation of this information is important. When both a Definition and a Doctrinal Definition are provided for a term, the Definition takes precedence.
ordinal measurement annotation
An ordinal measurement value of an instance of a quality, realizable or process profile
nominal measurement annotation
A nominal measurement value of an instance of a quality, realizable or process profile
term creator
The name of the Term Editor who added the term to the ontology.
content license
The name and description of the license under which the ideas, concepts and other informational content expressed in the .owl file are released.
copyright
An assertion of copyright
doctrinal source
A Definition Source that consists of a formalized doctrine in which the term is authoritatively defined.
measurement annotation
A measurement value of an instance of a quality, realizable or process profile
ratio measurement annotation
A ratio measurement value of an instance of a quality, realizable or process profile
doctrinal label
An Alternative Label that consists of the preferred term or phrase used by a Doctrinal Source to denote the entity.
When the cco:doctrinal_label is identical to the rdfs:label, the cco:doctrinal_label annotation is superfluous. As a subclass of 'alternative label', 'doctrinal label' is intended to be used to provide additional information about the entity when its preferred doctrinal designator is ambiguous or otherwise inappropriate for use as the rdfs:label.
doctrinal acronym
An Acronym that is used by a Doctrinal Source to denote the entity.
has token unit
A relation between an information content entity and a widely used measurement unit of the token used to express it.
acronym
An Alternative Label that consists of a shortened or abbreviated form of the rdfs:label and is used to denote the entity.
definition source
A citation of where all or some of the information used to create the term's Definition was acquired from.
interval measurement annotation
A interval measurement value of an instance of a quality, realizable or process profile
designator annotation
A name or other identifier that is used to designate an individual.
http query string
The text of an HTTP request that can be sent to a SPARQL Protocol service.
code license
The name and description of the license under which the .owl file is released.
is curated in ontology
An annotation property that links a class, property, or named individual to the URI of the ontology where it is located.
is tokenized by
A relation between an information content entity and a widely used token used to express it.
term editor
The name of a person who contributed to the development or enhancement of the term.
is successor of
x is_successor_of y iff x and y are both instances of Independent Continuant and y is_predecessor_of x.
has process part
x has_process_part y iff x and y are instances of Process, such that y occurs during the temporal interval of x, and y either provides an input to x or receives an output of x, or both.
has object
x has_object y ff x is an instance of Process and y is an instance of Continuant and x is performed by some instance of Agent z and y is part of the projected state that z intends to achieve by performing x.
has all members located in
x has all members located in y iff x is an instance of Object Aggregate and y is an instance of independent continuant but not a spatial region, and every member of x is located in y.
role of aggregate
x role_of_aggregate y iff y is an instance of Object Aggregate and x is an instance of Role, and x inheres_in_aggregate y.
is cause of
x is_cause_of y iff x and y are instances of Occurrent, and y is a consequence of x.
is disrupted by
inheres in aggregate
x inheres_in_aggregate y iff x is an instance of Specifically Dependent Continuant or Generically Dependent Continuant and y is an instance of Object Aggregate and y aggregate_bearer_of x.
is output of
x is_output_of y iff x is an instance of Continuant and y is an instance of Process, such that the presence of x at the end of y is a necessary condition for the completion of y.
caused by
x caused_by y iff x and y are instances of Occurrent, and x is a consequence of y.
disposition of aggregate
x disposition_of_aggregate y iff y is an instance of Object Aggregate and x is an instance of Disposition, and x inheres_in_aggregate y.
has some member located in
x has some member located in y iff x is an instance of Object Aggregate and y is an instance of independent continuant but not a spatial region, and at least one member of x is located in y.
affects
x affects y iff x is an instance of Process and y is an instance of Continuant, and x influences y in some manner, most often by producing a change in y.
aggregate bearer of
x aggregate_bearer_of y iff x is an instance of Object Aggregate and y is an instance of Specifically Dependent Continuant or Generically Dependent Continuant and y specifically or generically depends on some instance of Object z that is part of x and all other members of x are also bearers of a unique instance of the same type as y.
is input of
x is_input_of y iff x is an instance of Continuant and y is an instance of Process, such that the presence of x at the beginning of y is a necessary condition for the start of y.
is site of
x is_site_of y iff x is an instance of Site and y is an instance of Process, such that y occurs in x.
is part of process
x is_part_of_process y iff x and y are instances of Process, such that x occurs during the temporal interval of y, and x either provides an input to y or receives an output of y.
is temporal region of
t is temporal region of p iff p occupies temporal region t.
Leaving this is in ERO for now since BFO2020 has no inverse of occupies-temporal-region yet.
is affected by
x is_affected_by y iff x is an instance of Continuant and y is an instance of Process, and y influences x in some manner, most often by producing a change in x.
disrupts
A relation where one process disrupts another process from occurring as it would have.
To lower the grade of a process is to lower the quality of a process according to some standard, for example when realizing a capability or a function.
A process can disrupt another process from occurring as it would have by 1) preventing a disposition or role from being realized by that process, 2) lowering the grade of the process, or 3) stopping the process from continuing to occur.
aggregate has role
x aggregate_has_role y iff x is an instance of Object Aggregate and y is an instance of Role, such that x aggregate_bearer_of y.
aggregate has quality
x aggregate_has_quality y iff x is an instance of Object Aggregate and y is an instance of Quality, such that x aggregate_bearer_of y.
occurs at
x occurs_at y iff x is an instance of Process and y is an instance of Site, such that x occurs in y.
has input
y has_input x iff x is an instance of Continuant and y is an instance of Process, such that the presence of x at the beginning of y is a necessary condition for the start of y.
is predecessor of
x is_predecessor_of y iff x and y are both instances of Independent Continuant and there is some process p and x is an input to p and y is an output of p.
More informally, x is_predecessor_of y iff y follows or replaces x.
process starts
x process_starts y iff x and y are instances of processes, and x is_cause_of y, and i is an instance of a temporal instant, and r is an instance of a temporal interval, and y has starting instance i, and x occurs on r, and r has inside instant i.
A process x starts another process y when x causes y while x is still occurring.
is object of
x is_object_of y iff x is an instance of Continuant and y is an instance of Process and y is performed by some instance of Agent z and x is part of the projected state that z intends to achieve by performing y.
quality of aggregate
x quality_of_aggregate y iff y is an instance of Object Aggregate and x is an instance of Quality, and x inheres_in_aggregate y.
aggregate has disposition
x aggregate_has_disposition y iff x is an instance of Object Aggregate and y is an instance of Disposition, such that x aggregate_bearer_of y.
inhibits
x inhibits y iff x and y are non-identical Processes, d is a Decrease of Realizable Entity, and x is_cause_of d, and r is a Realizable Entity, and d has_participant r, and r realized_in y.
process started by
x process_started_by y iff x and y are instances of processes, and x is caused_by y, and i is an instance of a temporal instant, and r is an instance of a temporal interval, and x has starting instance i, and y occurs on r, and r has inside instant i.
A process x is started by another process y when y causes x while y is still occurring.
inhibited by
y inhibited_by x iff x and y are non-identical Processes, d is a Decrease of Realizable Entity, and x is_cause_of d, and r is a Realizable Entity, and d has_participant r, and r realized_in y.
has output
y has_output x iff x is an instance of Continuant and y is an instance of Process, such that the presence of x at the end of y is a necessary condition for the completion of y.