aatmasambaddha vastu (SelfConnectedObject)

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

Ontology

SUMO / BASE-ONTOLOGY

Superclass(es)

astitva

bhOtika vaswu

object

aatmasambaddha vastu

Subclass(es)

padaartha kaNikaa sambandhI padaartha tatva-vaahaka padaartha aahaara

Coordinate term(s)

kartaa sangraha kshetra

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)

Agar obj is an instance of aatmasambaddha vastu, to "the front of obj" is a part of obj.

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

Agar obj is an instance of aatmasambaddha vastu, to "the back of obj" is a part of obj.

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

sangraha asansavat aatmasambaddha vastu se hai.

(disjoint Collection SelfConnectedObject)

obj is an instance of aatmasambaddha vastu agar hai sab-kuch part1,part2 ke lie hai, ki: agar obj is equal to "the union of the parts of part1 and part2", to part1 is connected to part2.

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

Agar obj is an instance of aatmasambaddha vastu, to pliable is an attribute of obj yaa rigid is an attribute of obj.

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