SkinFn Comparison Table

Next SpatialRelation: smaller Up: SpatialRelation, UnaryFunction Previous SpatialRelation: properlyFills

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
(=>
(and
(instance ?REL SpatialRelation)
(holds ?REL ?OBJ1 ?OBJ2))
(overlapsTemporally (WhenFn ?OBJ1) (WhenFn ?OBJ2)))
Relation

UnaryFunction rangeSubclass inverse The Class of Functions that require a single argument
(=>
(instance ?FUNCTION UnaryFunction)
(valence ?FUNCTION 1))
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
(=>
(equal ?OBJ1 (SkinFn ?HOLE))
(forall (?OBJ2)
(<=>
(overlapsSpatially ?OBJ2 ?OBJ1)
(exists (?OBJ3)
(and
(superficialPart ?OBJ3 (PrincipalHostFn ?HOLE))
(meetsSpatially ?HOLE ?OBJ3)
(overlapsSpatially ?OBJ2 ?OBJ3))))))
UnaryFunction

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	(=> (and (instance ?REL SpatialRelation) (holds ?REL ?OBJ1 ?OBJ2)) (overlapsTemporally (WhenFn ?OBJ1) (WhenFn ?OBJ2)))	Relation
UnaryFunction		rangeSubclass		inverse	The Class of Functions that require a single argument	(=> (instance ?FUNCTION UnaryFunction) (valence ?FUNCTION 1))	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	(=> (equal ?OBJ1 (SkinFn ?HOLE)) (forall (?OBJ2) (<=> (overlapsSpatially ?OBJ2 ?OBJ1) (exists (?OBJ3) (and (superficialPart ?OBJ3 (PrincipalHostFn ?HOLE)) (meetsSpatially ?HOLE ?OBJ3) (overlapsSpatially ?OBJ2 ?OBJ3))))))		UnaryFunction

Next SpatialRelation: smaller Up: SpatialRelation, UnaryFunction Previous SpatialRelation: properlyFills