SelfConnectedObject concept from the SUMO knowledge base

Entity > Physical > Object > SelfConnectedObject

Next Object: Agent Up: Object Previous Object: Food

SelfConnectedObject

subject fact

SelfConnectedObject documentation A SelfConnectedObject is any Object that does not consist of two or more disconnected parts 2001-11-30 13:35:14.0
has axiom
(<=>
(instance ?OBJ SelfConnectedObject)
(forall (?PART1 ?PART2)
(=>
(equal ?OBJ (MereologicalSumFn ?PART1 ?PART2))
(connected ?PART1 ?PART2))))
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))))
has axiom
(=>
(instance ?HOLE Hole)
(instance ?HOLE SelfConnectedObject))
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 member
is first domain of part
is second domain of part
is a kind of Object

Object is disjoint from Process 2001-11-30 13:34:50.0
is third domain of between 2001-11-30 13:34:51.0
is third domain of capability
is third domain of connects

Kinds of SelfConnectedObject :

CorpuscularObject (58 kinds, 252 facts) - A SelfConnectedObject whose parts have properties that are not shared by the whole
Region (4 kinds, 26 facts) - A topographic location. Regions encompass surfaces of Objects and GeographicAreas. Note that a Region is the only kind of Object which can be located at itself
Substance (14 kinds, 48 facts) - An Object in which every part is similar to every other in every relevant respect. More precisely, something is a Substance when it has only arbitrary pieces as parts - any parts have properties which are similar to those of the whole. Note that a Substance may nonetheless have physical properties that vary. For example, the temperature, chemical constitution, density, etc. may change from one part to another. An example would be a body of water

SelfConnectedObject	*documentation* A SelfConnectedObject is any Object that does not consist of two or more disconnected parts
	has axiom (<=> (instance ?OBJ SelfConnectedObject) (forall (?PART1 ?PART2) (=> (equal ?OBJ (MereologicalSumFn ?PART1 ?PART2)) (connected ?PART1 ?PART2))))
	has axiom (=> (instance ?OBJ SelfConnectedObject) (exists (?PART) (part ?PART ?OBJ)))
	has axiom (=> (instance ?HOLE Hole) (exists (?OBJ) (and (hole ?HOLE ?OBJ) (instance ?OBJ SelfConnectedObject))))
	has axiom (=> (instance ?HOLE Hole) (instance ?HOLE SelfConnectedObject))
	has axiom (=> (surface ?OBJ1 ?OBJ2) (and (instance ?OBJ1 SelfConnectedObject) (forall (?OBJ3) (=> (superficialPart ?OBJ3 ?OBJ2) (part ?OBJ3 ?OBJ1)))))
	has axiom (=> (equal ?OBJ1 (PrincipalHostFn ?HOLE)) (forall (?OBJ2) (<=> (overlapsSpatially ?OBJ2 ?OBJ1) (exists (?OBJ3) (and (hole ?HOLE ?OBJ3) (instance ?OBJ3 SelfConnectedObject) (overlapsSpatially ?OBJ2 ?OBJ3))))))
	*is first domain* of** member
	*is first domain* of** part
	*is second domain* of** part
	is a kind of Object
Object	*is disjoint* from** Process
	*is third domain* of** between
	*is third domain* of** capability
	*is third domain* of** connects