Preferred Name |
spatial region |
|
Synonyms |
|
|
ID |
http://purl.obolibrary.org/obo/BFO_0000006 |
|
BFO CLIF specification label |
SpatialRegion |
|
BFO OWL specification label |
s-region |
|
has associated axiom(fol) |
(forall (x y t) (if (and (SpatialRegion x) (continuantPartOfAt y x t)) (SpatialRegion y))) // axiom label in BFO2 CLIF: [036-001] (forall (x) (if (SpatialRegion x) (Continuant x))) // axiom label in BFO2 CLIF: [035-001] |
|
has associated axiom(nl) |
All continuant parts of spatial regions are spatial regions.(axiom label in BFO2 Reference: [036-001]) |
|
isDefinedBy | ||
label |
spatial region |
|
prefixIRI |
ns4:BFO_0000006 |
|
prefLabel |
spatial region |
|
disjointWith | ||
subClassOf |
Create mapping