SUMO View all facts Glossary Help |
Entity > Abstract > Class > Relation > BinaryRelation > UnaryFunction > SkinFn |
SkinFn comparison table |
Subject | have domain1 | be first domain of | have range | be second domain of | documentation | have axiom | is a kind of | is an instance of |
---|---|---|---|---|---|---|---|---|
SpatialRelation | valence | subrelation | The Class of Relations that are spatial in a wide sense. This Class includes mereological relations, topological relations, and positional relations | (=> | Relation | |||
UnaryFunction | rangeSubclass | inverse | The Class of Functions that require a single argument | (=> | Function | |||
SkinFn | Hole | rangeSubclass | Object | inverse | A UnaryFunction that maps a Hole to the skin of the Hole. The skin of a Hole is the fusion of those superficial parts (see superficialPart) of the Hole's principal host (see PrincipalHostFn) with which the Hole is externally connected | (=> | UnaryFunction |
Next SpatialRelation: smaller Up: SpatialRelation, UnaryFunction Previous SpatialRelation: properlyFills