Extended Relation Ontology
type: Ontology
version IRI: ExtendedRelationOntology
imports: bfo-core.ttl
license: BSD 3-Clause: https://github.com/CommonCoreOntology/CommonCoreOntologies/blob/master/LICENSE
rights: CUBRC Inc., see full license.
comment: 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.
version info: Version 2.0

query text
type: AnnotationProperty
definition: The text of a query that is associated with a class
is curated in ontology: Extended Relation Ontology

doctrinal definition
type: AnnotationProperty
definition: A Definition that is taken directly from a Doctrinal Source.
scope note: 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.
is curated in ontology: Extended Relation Ontology
sub property of: definition

ordinal measurement annotation
type: AnnotationProperty
definition: An ordinal measurement value of an instance of a quality, realizable or process profile
is curated in ontology: Extended Relation Ontology
sub property of: measurement annotation

nominal measurement annotation
type: AnnotationProperty
definition: A nominal measurement value of an instance of a quality, realizable or process profile
is curated in ontology: Extended Relation Ontology
sub property of: measurement annotation

term creator
type: AnnotationProperty
definition: The name of the Term Editor who added the term to the ontology.
is curated in ontology: Extended Relation Ontology
sub property of: term editor

content license
type: AnnotationProperty
definition: The name and description of the license under which the ideas, concepts and other informational content expressed in the .owl file are released.
is curated in ontology: Extended Relation Ontology

copyright
type: AnnotationProperty
definition: An assertion of copyright
is curated in ontology: Extended Relation Ontology

doctrinal source
type: AnnotationProperty
definition: A Definition Source that consists of a formalized doctrine in which the term is authoritatively defined.
is curated in ontology: Extended Relation Ontology
sub property of: definition source

measurement annotation
type: AnnotationProperty
definition: A measurement value of an instance of a quality, realizable or process profile
is curated in ontology: Extended Relation Ontology

ratio measurement annotation
type: AnnotationProperty
definition: A ratio measurement value of an instance of a quality, realizable or process profile
is curated in ontology: Extended Relation Ontology
sub property of: measurement annotation

doctrinal label
type: AnnotationProperty
definition: An Alternative Label that consists of the preferred term or phrase used by a Doctrinal Source to denote the entity.
scope note: 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.
is curated in ontology: Extended Relation Ontology
sub property of: altLabel

doctrinal acronym
type: AnnotationProperty
definition: An Acronym that is used by a Doctrinal Source to denote the entity.
is curated in ontology: Extended Relation Ontology
sub property of: acronym

has token unit
type: AnnotationProperty
definition: A relation between an information content entity and a widely used measurement unit of the token used to express it.
is curated in ontology: Extended Relation Ontology

acronym
type: AnnotationProperty
definition: An Alternative Label that consists of a shortened or abbreviated form of the rdfs:label and is used to denote the entity.
is curated in ontology: Extended Relation Ontology
sub property of: altLabel

definition source
type: AnnotationProperty
definition: A citation of where all or some of the information used to create the term's Definition was acquired from.
is curated in ontology: Extended Relation Ontology

interval measurement annotation
type: AnnotationProperty
definition: A interval measurement value of an instance of a quality, realizable or process profile
is curated in ontology: Extended Relation Ontology
sub property of: measurement annotation

designator annotation
type: AnnotationProperty
definition: A name or other identifier that is used to designate an individual.
is curated in ontology: Extended Relation Ontology

http query string
type: AnnotationProperty
definition: The text of an HTTP request that can be sent to a SPARQL Protocol service.
is curated in ontology: Extended Relation Ontology

code license
type: AnnotationProperty
definition: The name and description of the license under which the .owl file is released.
is curated in ontology: Extended Relation Ontology

is curated in ontology
type: AnnotationProperty
definition: An annotation property that links a class, property, or named individual to the URI of the ontology where it is located.
is curated in ontology: Extended Relation Ontology

is tokenized by
type: AnnotationProperty
definition: A relation between an information content entity and a widely used token used to express it.
is curated in ontology: Extended Relation Ontology

term editor
type: AnnotationProperty
definition: The name of a person who contributed to the development or enhancement of the term.
is curated in ontology: Extended Relation Ontology

is successor of
type: ObjectProperty
inverse of: is predecessor of
domain: BFO_0000004
range: BFO_0000004
definition: x is_successor_of y iff x and y are both instances of Independent Continuant and y is_predecessor_of x.
is curated in ontology: Extended Relation Ontology

has process part
type: ObjectProperty
sub property of: BFO_0000117
inverse of: is part of process
domain: BFO_0000015
range: BFO_0000015
definition: 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.
is curated in ontology: Extended Relation Ontology

has object
type: ObjectProperty
sub property of: BFO_0000057
domain: BFO_0000015
range: BFO_0000002
definition: 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.
is curated in ontology: Extended Relation Ontology

has all members located in
type: ObjectProperty
sub property of: has some member located in
domain: BFO_0000027
range: Class
  intersection of: BFO_0000004
  intersection of: Class
    complement of: BFO_0000006
definition: 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.
is curated in ontology: Extended Relation Ontology

role of aggregate
type: ObjectProperty
sub property of: inheres in aggregate
domain: BFO_0000023
range: BFO_0000027
definition: 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 curated in ontology: Extended Relation Ontology

is cause of
type: ObjectProperty
inverse of: caused by
domain: BFO_0000003
range: BFO_0000003
definition: x is_cause_of y iff x and y are instances of Occurrent, and y is a consequence of x.
is curated in ontology: Extended Relation Ontology

is disrupted by
type: ObjectProperty
inverse of: disrupts
domain: BFO_0000015
range: BFO_0000015
created: 2022-12-30T21:32:27-05:00
creator: https://cubrc.org
definition: Inverse of disrupts.
is curated in ontology: Extended Relation Ontology

inheres in aggregate
type: ObjectProperty
inverse of: aggregate bearer of
domain: Class
  union of: BFO_0000020
  union of: BFO_0000031
range: BFO_0000027
definition: 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 curated in ontology: Extended Relation Ontology

is output of
type: ObjectProperty
sub property of: BFO_0000056
inverse of: has output
domain: BFO_0000002
range: BFO_0000015
definition: 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.
is curated in ontology: Extended Relation Ontology

caused by
type: ObjectProperty
domain: BFO_0000003
range: BFO_0000003
definition: x caused_by y iff x and y are instances of Occurrent, and x is a consequence of y.
is curated in ontology: Extended Relation Ontology

disposition of aggregate
type: ObjectProperty
sub property of: inheres in aggregate
inverse of: aggregate has disposition
domain: BFO_0000016
range: BFO_0000027
definition: 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.
is curated in ontology: Extended Relation Ontology

has some member located in
type: ObjectProperty
domain: BFO_0000027
range: Class
  intersection of: BFO_0000004
  intersection of: Class
    complement of: BFO_0000006
definition: 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.
is curated in ontology: Extended Relation Ontology

affects
type: ObjectProperty
sub property of: BFO_0000057
inverse of: is affected by
domain: BFO_0000015
range: BFO_0000002
definition: 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.
is curated in ontology: Extended Relation Ontology

aggregate bearer of
type: ObjectProperty
domain: BFO_0000027
range: Class
  union of: BFO_0000020
  union of: BFO_0000031
definition: 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 curated in ontology: Extended Relation Ontology

is input of
type: ObjectProperty
sub property of: BFO_0000056
inverse of: has input
domain: BFO_0000002
range: BFO_0000015
definition: 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 curated in ontology: Extended Relation Ontology

is site of
type: ObjectProperty
sub property of: BFO_0000183
inverse of: occurs at
domain: BFO_0000029
range: BFO_0000015
definition: 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 curated in ontology: Extended Relation Ontology

is part of process
type: ObjectProperty
sub property of: BFO_0000132
domain: BFO_0000015
range: BFO_0000015
definition: 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 curated in ontology: Extended Relation Ontology

is temporal region of
type: ObjectProperty
domain: BFO_0000008
range: Class
  union of: BFO_0000015
  union of: BFO_0000035
definition: t is temporal region of p iff p occupies temporal region t.
editorial note: Leaving this is in ERO for now since BFO2020 has no inverse of occupies-temporal-region yet.
is curated in ontology: Extended Relation Ontology

is affected by
type: ObjectProperty
sub property of: BFO_0000056
domain: BFO_0000002
range: BFO_0000015
definition: 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.
is curated in ontology: Extended Relation Ontology

disrupts
type: ObjectProperty
domain: BFO_0000015
range: BFO_0000015
created: 2022-12-30T21:32:27-05:00
creator: https://cubrc.org
definition: A relation where one process disrupts another process from occurring as it would have.
editorial note: 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.
scope note: 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.
is curated in ontology: Extended Relation Ontology

aggregate has role
type: ObjectProperty
sub property of: aggregate bearer of
domain: BFO_0000027
range: BFO_0000023
definition: 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.
is curated in ontology: Extended Relation Ontology

aggregate has quality
type: ObjectProperty
sub property of: aggregate bearer of
domain: BFO_0000027
range: BFO_0000019
definition: 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.
is curated in ontology: Extended Relation Ontology

occurs at
type: ObjectProperty
sub property of: BFO_0000066
domain: BFO_0000015
range: BFO_0000029
definition: x occurs_at y iff x is an instance of Process and y is an instance of Site, such that x occurs in y.
is curated in ontology: Extended Relation Ontology

has input
type: ObjectProperty
sub property of: BFO_0000057
domain: BFO_0000015
range: BFO_0000002
definition: 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 curated in ontology: Extended Relation Ontology

is predecessor of
type: ObjectProperty
domain: BFO_0000004
range: BFO_0000004
definition: 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.
scope note: More informally, x is_predecessor_of y iff y follows or replaces x.
is curated in ontology: Extended Relation Ontology

process starts
type: ObjectProperty
sub property of: is cause of
inverse of: process started by
domain: BFO_0000015
range: BFO_0000015
definition: 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.
scope note: A process x starts another process y when x causes y while x is still occurring.
is curated in ontology: Extended Relation Ontology

is object of
type: ObjectProperty
sub property of: BFO_0000056
inverse of: has object
domain: BFO_0000002
range: BFO_0000015
definition: 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.
is curated in ontology: Extended Relation Ontology

quality of aggregate
type: ObjectProperty
sub property of: inheres in aggregate
domain: BFO_0000019
range: BFO_0000027
definition: 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.
is curated in ontology: Extended Relation Ontology

aggregate has disposition
type: ObjectProperty
sub property of: aggregate bearer of
domain: BFO_0000027
range: BFO_0000016
definition: 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.
is curated in ontology: Extended Relation Ontology

inhibits
type: ObjectProperty
inverse of: inhibited by
domain: BFO_0000015
range: BFO_0000015
definition: 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.
is curated in ontology: Extended Relation Ontology

process started by
type: ObjectProperty
sub property of: caused by
domain: BFO_0000015
range: BFO_0000015
definition: 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.
scope note: A process x is started by another process y when y causes x while y is still occurring.
is curated in ontology: Extended Relation Ontology

inhibited by
type: ObjectProperty
domain: BFO_0000015
range: BFO_0000015
definition: 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.
is curated in ontology: Extended Relation Ontology

has output
type: ObjectProperty
sub property of: BFO_0000057
domain: BFO_0000015
range: BFO_0000002
definition: 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.
definition source: https://en.wikipedia.org/w/index.php
is curated in ontology: Extended Relation Ontology