SUMO View all facts Glossary Help |
Entity > Abstract > Class > Relation > BinaryRelation > UnaryFunction > PrincipalHostFn |
PrincipalHostFn 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 | |||
PrincipalHostFn | Hole | rangeSubclass | Object | inverse | A UnaryFunction that maps a Hole to the Object which is its principal host. The principle host of a Hole is its maximally connected host (a notion taken here to be defined only when the argument is a hole) | (=> | UnaryFunction |
Next SpatialRelation: properlyFills Up: SpatialRelation, UnaryFunction Previous SpatialRelation: position