This is just here as a test because I lose it

术语信息

BFO CLIF specification label

ThreeDimensionalSpatialRegion

comment

Definition: A spatial region [snap:SpatialRegion] with three dimensions.

Examples: a cube-shaped part of space, a sphere-shaped part of space

elucidation

A three-dimensional spatial region is a spatial region that is of three dimensions. (axiom label in BFO2 Reference: [040-001])

example of usage

a cube-shaped region of space

a sphere-shaped region of space,

has associated axiom(fol)

(forall (x) (if (ThreeDimensionalSpatialRegion x) (SpatialRegion x))) // axiom label in BFO2 CLIF: [040-001]

isDefinedBy

http://purl.obolibrary.org/obo/bfo.owl

术语关系

上位词: