Select language: english | cesky | deutsch | italiano | simplified chinese | traditional chinese | hindi
Concept:
English word:
Home

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.

Ontology

SUMO / MEREOTOPOLOGY

Class(es)

Classe
is instance of
  inheritable relation  
is instance of
  PredicatoBinario  
is instance of
Classe
is instance of
  inheritable relation  
is instance of
  RelazioneSpaziale  
is instance of
RelazioneAsimmetrica
is instance of
is instance of
  hole  

Coordinate term(s)

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 

Type restrictions

hole(Apertura, OggettoIntegro)

Axioms (9)

hole é un' istanza di Apertura se e solo se esiste obj tale che hole é un' apertura in obj. 
(<=>
      (instance ?HOLE Hole)
      (exists
            (?OBJ)
            (hole ?HOLE ?OBJ)))
Se hole é un' apertura in obj, allora obj é not un' istanza di Apertura. 
(=>
      (hole ?HOLE ?OBJ)
      (not
            (instance ?OBJ Hole)))
Se hole é un' apertura in obj, allora hole non si sovrappone a obj. 
(=>
      (hole ?HOLE ?OBJ)
      (not
            (overlapsSpatially ?HOLE ?OBJ)))
Se hole é un' apertura in obj1 e hole é un' apertura in obj2, allora esiste obj3 tale che obj3 é una Parte propria di "l' intersezione delle parti di obj1 e obj2" e hole é un' apertura in obj3. 
(=>
      (and
            (hole ?HOLE ?OBJ1)
            (hole ?HOLE ?OBJ2))
      (exists
            (?OBJ3)
            (and
                  (properPart
                        ?OBJ3
                        (MereologicalProductFn ?OBJ1 ?OBJ2))
                  (hole ?HOLE ?OBJ3))))
(=>
      (and
            (hole ?HOLE1 ?OBJ)
            (hole ?HOLE2 ?OBJ))
      (forall
            (?HOLE3)
            (=>
                  (part
                        ?HOLE3
                        (MereologicalSumFn ?HOLE1 ?HOLE2))
                  (hole ?HOLE3 ?OBJ))))
Se hole é un' apertura in obj1 e obj1 é una parte di obj2, allora hole si sovrappones a obj2 o hole é un' apertura in obj2. 
(=>
      (and
            (hole ?HOLE ?OBJ1)
            (part ?OBJ1 ?OBJ2))
      (or
            (overlapsSpatially ?HOLE ?OBJ2)
            (hole ?HOLE ?OBJ2)))
Se hole1 é un' apertura in obj1 e hole2 é un' apertura in obj2 e hole1 si sovrappones a hole2, allora obj1 si sovrappones a obj2. 
(=>
      (and
            (hole ?HOLE1 ?OBJ1)
            (hole ?HOLE2 ?OBJ2)
            (overlapsSpatially ?HOLE1 ?HOLE2))
      (overlapsSpatially ?OBJ1 ?OBJ2))
Se obj1 is uguale a " ció che entra nell'apertura hole", allora per ogni obj2 vale: obj2 si sovrappones a obj1 se e solo se esiste obj3 tale che hole é un' apertura in obj3 e obj2 si sovrappones a obj3. 
(=>
      (equal
            ?OBJ1
            (PrincipalHostFn ?HOLE))
      (forall
            (?OBJ2)
            (<=>
                  (overlapsSpatially ?OBJ2 ?OBJ1)
                  (exists
                        (?OBJ3)
                        (and
                              (hole ?HOLE ?OBJ3)
                              (overlapsSpatially ?OBJ2 ?OBJ3))))))
Se hole é un' apertura in obj, allora hole é connesso a obj. 
(=>
      (hole ?HOLE ?OBJ)
      (connected ?HOLE ?OBJ))