self connected object (SelfConnectedObject)

A SelfConnectedObject is any Object that does not consist of two or more disconnected parts.

Ontology

SUMO / BASE-ONTOLOGY

Superclass(es)

entity

physical

object

self connected object

Subclass(es)

substance corpuscular object content bearing object food

Coordinate term(s)

agent collection region

Constrains relations

back fn front fn bottom connects height hole member side surface top

Related WordNet synsets

body: an individual 3-dimensional object that has mass and that is distinguishable from other objects; "heavenly body"

See more related synsets on a separate page.

Axioms (5)

If obj is an instance of self connected object, then "the front of obj" is a part of obj.

(=>
      (instance ?OBJ SelfConnectedObject)
      (part
            (FrontFn ?OBJ)
            ?OBJ))

If obj is an instance of self connected object, then "the back of obj" is a part of obj.

(=>
      (instance ?OBJ SelfConnectedObject)
      (part
            (BackFn ?OBJ)
            ?OBJ))

collection is disjoint from self connected object.

(disjoint Collection SelfConnectedObject)

obj is an instance of self connected object if and only if for all part1,part2 holds: if obj is equal to "the union of the parts of part1 and part2", then part1 is connected to part2.

(<=>
      (instance ?OBJ SelfConnectedObject)
      (forall
            (?PART1 ?PART2)
            (=>
                  (equal
                        ?OBJ
                        (MereologicalSumFn ?PART1 ?PART2))
                  (connected ?PART1 ?PART2))))

If obj is an instance of self connected object, then pliable is an attribute of obj or rigid is an attribute of obj.

(=>
      (instance ?OBJ SelfConnectedObject)
      (or
            (attribute ?OBJ Pliable)
            (attribute ?OBJ Rigid)))