Preferred Name | temporal region | |
Synonyms |
|
|
ID |
http://purl.obolibrary.org/obo/BFO_0000008 |
|
BFO CLIF specification label |
TemporalRegion |
|
BFO OWL specification label |
t-region |
|
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) |
All parts of temporal regions are temporal regions.(axiom label in BFO2 Reference: [101-001]) Every temporal region t is such that t occupies_temporal_region t. (axiom label in BFO2 Reference: [119-002]) |
|
isDefinedBy | ||
label |
temporal region |
|
prefixIRI |
ns4:BFO_0000008 |
|
prefLabel |
temporal region |
|
disjointWith | ||
subClassOf |
Create mapping