Class: 'two-dimensional continuant fiat boundary'
Annotations (7)
- 'BFO OWL specification label' "2d-cf-boundary"
- 'BFO CLIF specification label' "TwoDimensionalContinuantFiatBoundary"
- elucidation "a two-dimensional continuant fiat boundary (surface) is a self-connected fiat surface whose location is defined in relation to some material entity. (axiom label in BFO2 Reference: [033-001])" @en
- 'has associated axiom(fol)' "(iff (TwoDimensionalContinuantFiatBoundary a) (and (ContinuantFiatBoundary a) (exists (b) (and (TwoDimensionalSpatialRegion b) (forall (t) (locatedInAt a b t)))))) // axiom label in BFO2 CLIF: [033-001] "
- 'has axiom label' http://purl.obolibrary.org/obo/bfo/axiom/033-001
- rdfs:isDefinedBy http://purl.obolibrary.org/obo/bfo.owl
- rdfs:label "two-dimensional continuant fiat boundary" @en
Superclasses (1)
Disjoints (2)
'one-dimensional continuant fiat boundary',
'two-dimensional continuant fiat boundary'
Usage (1)
- SM-located-on Range 'two-dimensional continuant fiat boundary'