OggettoIntegro (SelfConnectedObject)

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

Ontology

SUMO / BASE-ONTOLOGY

Superclass(es)

Entitá

EntitáConcreta

Oggetto

OggettoIntegro

Subclass(es)

Sostanza OggettoCorpuscolare OggettoSemiotico Cibo

Coordinate term(s)

Agente InsiemeConcreto Regione

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)

Se obj é un' istanza di OggettoIntegro, allora "il davanti di obj" é una parte di obj.

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

Se obj é un' istanza di OggettoIntegro, allora "il dietro di obj" é una parte di obj.

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

InsiemeConcreto é disgiunto da OggettoIntegro.

(disjoint Collection SelfConnectedObject)

obj é un' istanza di OggettoIntegro se e solo se per ogni part1,part2 vale: se obj is uguale a "l' unione delle parti di part1 e part2", allora part1 é connesso a part2.

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

Se obj é un' istanza di OggettoIntegro, allora pliable is an attribute of obj o rigid is an attribute of obj.

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