Preferred Name |
continuant fiat boundary |
|
Synonyms |
|
|
Definitions |
b is a continuant fiat boundary = Def. b is an immaterial entity that is of zero, one or two dimensions and does not include a spatial region as part. (axiom label in BFO2 Reference: [029-001]) |
|
ID |
http://purl.obolibrary.org/obo/BFO_0000140 |
|
BFO CLIF specification label |
ContinuantFiatBoundary |
|
BFO OWL specification label |
cf-boundary |
|
definition |
b is a continuant fiat boundary = Def. b is an immaterial entity that is of zero, one or two dimensions and does not include a spatial region as part. (axiom label in BFO2 Reference: [029-001]) |
|
has associated axiom(fol) |
(iff (ContinuantFiatBoundary a) (and (ImmaterialEntity a) (exists (b) (and (or (ZeroDimensionalSpatialRegion b) (OneDimensionalSpatialRegion b) (TwoDimensionalSpatialRegion b)) (forall (t) (locatedInAt a b t)))) (not (exists (c t) (and (SpatialRegion c) (continuantPartOfAt c a t)))))) // axiom label in BFO2 CLIF: [029-001] |
|
has associated axiom(nl) |
Every continuant fiat boundary is located at some spatial region at every time at which it exists |
|
isDefinedBy | ||
label |
continuant fiat boundary |
|
prefixIRI |
ns4:BFO_0000140 |
|
prefLabel |
continuant fiat boundary |
|
subClassOf |