spojitý objekt (SelfConnectedObject)

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

Ontologie

SUMO / BASE-ONTOLOGY

Nadtřída(y)

entita

fyzický objekt

objekt

spojitý objekt

Podtřída(y)

látka složený objekt objekt nesoucí informaci jídlo

Související termín(y)

původce kolekce oblast

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.

Axiomy (5)

Jestliže obj je instancí třídy spojitý objekt, potom "front fn(obj)" je částí obj.

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

Jestliže obj je instancí třídy spojitý objekt, potom "back fn(obj)" je částí obj.

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

kolekce je disjoint from spojitý objekt.

(disjoint Collection SelfConnectedObject)

obj je instancí třídy spojitý objekt tehdy a jen tehdy pokud pro všechny part1,part2 platí: jestliže obj se rovná "mereological sum fn(part1,part2)", potom part1 je spojen s part2.

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

Jestliže obj je instancí třídy spojitý objekt, potom pliable je atributem obj nebo rigid je atributem obj.

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