SUMO   View all facts   Glossary   Help
Entity > Physical > Object > SelfConnectedObject
Next ObjectAgent    UpObject    Previous ObjectFood   

SelfConnectedObject
subjectfact 
SelfConnectedObjectdocumentation A SelfConnectedObject is any Object that does not consist of two or more disconnected parts2001-11-30 13:35:14.0
has axiom
(<=> 
(instance ?OBJ SelfConnectedObject)
(forall (?PART1 ?PART2)
(=>
(equal ?OBJ (MereologicalSumFn ?PART1 ?PART2))
(connected ?PART1 ?PART2))))
2001-11-30 13:35:14.0
has axiom
(=> 
(instance ?OBJ SelfConnectedObject)
(exists (?PART)
(part ?PART ?OBJ)))
2001-11-30 13:35:14.0
has axiom
(=> 
(instance ?HOLE Hole)
(exists (?OBJ)
(and
(hole ?HOLE ?OBJ)
(instance ?OBJ SelfConnectedObject))))
2001-11-30 13:35:14.0
has axiom
(=> 
(instance ?HOLE Hole)
(instance ?HOLE SelfConnectedObject))
2001-11-30 13:35:14.0
has axiom
(=> 
(surface ?OBJ1 ?OBJ2)
(and
(instance ?OBJ1 SelfConnectedObject)
(forall (?OBJ3)
(=>
(superficialPart ?OBJ3 ?OBJ2)
(part ?OBJ3 ?OBJ1)))))
2001-11-30 13:35:14.0
has axiom
(=>
(equal ?OBJ1 (PrincipalHostFn ?HOLE))
(forall (?OBJ2)
(<=>
(overlapsSpatially ?OBJ2 ?OBJ1)
(exists (?OBJ3)
(and
(hole ?HOLE ?OBJ3)
(instance ?OBJ3 SelfConnectedObject)
(overlapsSpatially ?OBJ2 ?OBJ3))))))
2001-11-30 13:35:14.0
is first domain of member2001-11-30 13:35:14.0
is first domain of part2001-11-30 13:35:14.0
is second domain of part2001-11-30 13:35:14.0
is a kind of Object2001-11-30 13:35:14.0
Objectis disjoint from Process2001-11-30 13:34:50.0
is third domain of between2001-11-30 13:34:51.0
is third domain of capability2001-11-30 13:34:51.0
is third domain of connects2001-11-30 13:34:51.0

Kinds of SelfConnectedObject :