Preferred Name |
temporal region |
|
Synonyms |
|
|
ID |
http://purl.obolibrary.org/obo/BFO_0000008 |
|
BFO CLIF specification label |
TemporalRegion |
|
BFO OWL specification label |
t-region |
|
editor note |
Temporal region doesn't have a closure axiom because the subclasses don't exhaust all possibilites. An example would be the mereological sum of a temporal instant and a temporal interval that doesn't overlap the instant. In this case the resultant temporal region is neither 0-dimensional nor 1-dimensional |
|
elucidation |
A temporal region is an occurrent entity that is part of time as defined relative to some reference frame. (axiom label in BFO2 Reference: [100-001]) |
|
has associated axiom(fol) |
(forall (r) (if (TemporalRegion r) (occupiesTemporalRegion r r))) // axiom label in BFO2 CLIF: [119-002] (forall (x y) (if (and (TemporalRegion x) (occurrentPartOf y x)) (TemporalRegion y))) // axiom label in BFO2 CLIF: [101-001] (forall (x) (if (TemporalRegion x) (Occurrent x))) // axiom label in BFO2 CLIF: [100-001] |
|
has associated axiom(nl) |
Every temporal region t is such that t occupies_temporal_region t. (axiom label in BFO2 Reference: [119-002]) All parts of temporal regions are temporal regions. (axiom label in BFO2 Reference: [101-001]) |
|
imported from |
http://purl.obolibrary.org/obo/ogg.owl http://purl.obolibrary.org/obo/opmi.owl |
|
label |
temporal region |
|
prefixIRI |
BFO:0000008 |
|
prefLabel |
temporal region |
|
rdfs:isDefinedBy | ||
subClassOf |
This ontology integrates with OntoloBridge, allowing community users to suggest additions to the public ontology. Complete the template below to submit a term request directly to the ontology maintainer.
Term Label (required)
Suggested term name. If a term can be described with multiple synonyms, only list the preferred name here.
Term description (required)
A brief definition, description, or usage of your suggested term. Additional term synonyms may be listed in this section.
Superclass (required)
The parent term of the suggested term. The parent term should be an existing entry of the current ontology. The superclass can be selected directly from Bioportal's Classes tree viewer.
References (optional)
Provide evidence for the existence of the requested term such as Pubmed IDs of papers or links to other resources that describe the term.
Justification (optional)
Provide any additional information about the requested term here.