hole (hole)

(hole hole obj) means that hole is a Hole in obj. A Hole is a fillable body located at the surface an Object.

Ontologie

SUMO / MEREOTOPOLOGY

Class(es)

třída

inheritable relation

binární predikát
is instance of

třída

inheritable relation

prostorová relace
is instance of

nesymetrická relace
is instance of

hole

Související termín(y)

back fn cardinality fn front fn mereological difference fn mereological product fn mereological sum fn principal host fn probability fn skin fn where fn arc weight attribute authors before or equal between causes causes subclass citizen closed on completely fills connected connects contains information cooccur copy crosses date decreases likelihood developmental form disjoint distance distributes documentation duration earlier editor element employs equal equivalence relation on exploits expressed in language faces family relation fills finishes frequency graph part greater than greater than or equal to has purpose has skill holds during holds obligation holds right identity element immediate instance immediate subclass in list in scope of interest increases likelihood independent probability inhabits inhibits initial list instance inverse irreflexive on larger less than less than or equal to manner material measure meets temporally member modal attribute orientation overlaps temporally parent part partial ordering on partially fills partly located path length penetrates possesses precondition prevents proper part properly fills property publishes range range subclass realization refers reflexive on related internal concept sibling smaller starts sub attribute sub collection sub graph sub list sub process sub proposition subclass subrelation subsumes content class subsumes content instance successor attribute successor attribute closure surface temporal part time total ordering on traverses trichotomizing on uses valence version

Typy argumentů

hole(díra, spojitý objekt)

Axiomy (9)

hole je instancí třídy díra tehdy a jen tehdy pokud existuje obj tak, že hole je díra v obj.

(<=>
      (instance ?HOLE Hole)
      (exists
            (?OBJ)
            (hole ?HOLE ?OBJ)))

Jestliže hole je díra v obj, potom obj není instancí třídy díra.

(=>
      (hole ?HOLE ?OBJ)
      (not
            (instance ?OBJ Hole)))

Jestliže hole je díra v obj, potom hole se nepřekrývá s obj.

(=>
      (hole ?HOLE ?OBJ)
      (not
            (overlapsSpatially ?HOLE ?OBJ)))

Jestliže hole je díra v obj1 a hole je díra v obj2, potom existuje obj3 tak, že obj3 je vlastní částí "mereological product fn(obj1,obj2)" a hole je díra v obj3.

(=>
      (and
            (hole ?HOLE ?OBJ1)
            (hole ?HOLE ?OBJ2))
      (exists
            (?OBJ3)
            (and
                  (properPart
                        ?OBJ3
                        (MereologicalProductFn ?OBJ1 ?OBJ2))
                  (hole ?HOLE ?OBJ3))))

jestliže hole1 je díra v obj a hole2 je díra v obj,
potom pro všechny hole3 platí: jestliže hole3 je částí "mereological sum fn(hole1,hole2)", potom hole3 je díra v obj

(=>
      (and
            (hole ?HOLE1 ?OBJ)
            (hole ?HOLE2 ?OBJ))
      (forall
            (?HOLE3)
            (=>
                  (part
                        ?HOLE3
                        (MereologicalSumFn ?HOLE1 ?HOLE2))
                  (hole ?HOLE3 ?OBJ))))

Jestliže hole je díra v obj1 a obj1 je částí obj2, potom hole se překrývá s obj2 nebo hole je díra v obj2.

(=>
      (and
            (hole ?HOLE ?OBJ1)
            (part ?OBJ1 ?OBJ2))
      (or
            (overlapsSpatially ?HOLE ?OBJ2)
            (hole ?HOLE ?OBJ2)))

Jestliže hole1 je díra v obj1 a hole2 je díra v obj2 a hole1 se překrývá s hole2, potom obj1 se překrývá s obj2.

(=>
      (and
            (hole ?HOLE1 ?OBJ1)
            (hole ?HOLE2 ?OBJ2)
            (overlapsSpatially ?HOLE1 ?HOLE2))
      (overlapsSpatially ?OBJ1 ?OBJ2))

Jestliže obj1 se rovná "principal host fn(hole)", potom pro všechny obj2 platí: obj2 se překrývá s obj1 tehdy a jen tehdy pokud existuje obj3 tak, že hole je díra v obj3 a obj2 se překrývá s obj3.

(=>
      (equal
            ?OBJ1
            (PrincipalHostFn ?HOLE))
      (forall
            (?OBJ2)
            (<=>
                  (overlapsSpatially ?OBJ2 ?OBJ1)
                  (exists
                        (?OBJ3)
                        (and
                              (hole ?HOLE ?OBJ3)
                              (overlapsSpatially ?OBJ2 ?OBJ3))))))

Jestliže hole je díra v obj, potom hole je spojen s obj.

(=>
      (hole ?HOLE ?OBJ)
      (connected ?HOLE ?OBJ))