This is just here as a test because I lose it

术语信息

BFO CLIF specification label

OneDimensionalSpatialRegion

comment

Definition: A spatial region [snap:SpatialRegion] with one dimension.

Examples: the part of space that is a line stretching from one end of absolute space to the other, an edge of a cube-shaped part of space

elucidation

A one-dimensional spatial region is a line or aggregate of lines stretching from one point in space to another. (axiom label in BFO2 Reference: [038-001])

example of usage

an edge of a cube-shaped portion of space.

has associated axiom(fol)

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

isDefinedBy

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

术语关系

上位词: