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

fills (fills)

Holes can be filled. (fills obj hole) means that the Object obj fills the Hole hole. Note that fills here means perfectly filled.

Ontology

SUMO / MEREOTOPOLOGY

Class(es)

RelazioneAsimmetrica
is instance of
  fills  

Superrelation(s)

partly located
is subrelation of
  located  
is subrelation of
  partially fills  
is subrelation of
  completely fills  
is subrelation of
partly located
is subrelation of
  located  
is subrelation of
  partially fills  
is subrelation of
  properly fills  
is subrelation of
is subrelation of
  fills  

Coordinate term(s)

back fn  cardinality fn  front fn  principal host fn  probability fn  skin fn  attribute  authors  causes  causes subclass  citizen  closed on  completely fills  contains information  crosses  date  developmental form  documentation  duration  editor  element  equivalence relation on  exploits  expressed in language  frequency  graph part  has purpose  has skill  holds during  holds obligation  holds right  hole  identity element  immediate instance  immediate subclass  in list  in scope of interest  inhabits  irreflexive on  manner  measure  meets temporally  member  modal attribute  parent  partial ordering on  partially fills  path length  penetrates  possesses  precondition  proper part  properly fills  publishes  range  range subclass  realization  reflexive on  successor attribute  surface  temporal part  time  total ordering on  trichotomizing on  uses  valence  version 

Type restrictions

fills(Oggetto, Apertura)

Related WordNet synsets

See more related synsets on a separate page.

Axioms (7)

Se esiste time tale che "obj riempies hole" vales durante time, allora fillable is an attribute of hole. 
(=>
      (exists
            (?TIME)
            (holdsDuring
                  ?TIME
                  (fills ?OBJ ?HOLE)))
      (attribute ?HOLE Fillable))
Se obj riempie propriamentes hole1, allora esiste hole2 tale che hole2 é una parte di hole1 e obj riempies hole2. 
(=>
      (properlyFills ?OBJ ?HOLE1)
      (exists
            (?HOLE2)
            (and
                  (part ?HOLE2 ?HOLE1)
                  (fills ?OBJ ?HOLE2))))
Se obj1 riempie completamentes hole, allora esiste obj2 tale che obj2 é una parte di obj1 e obj2 riempies hole. 
(=>
      (completelyFills ?OBJ1 ?HOLE)
      (exists
            (?OBJ2)
            (and
                  (part ?OBJ2 ?OBJ1)
                  (fills ?OBJ2 ?HOLE))))
fills é interamente correlato a fillable. 
(relatedInternalConcept fills Fillable)
Se obj1 riempies hole e fillable is an attribute of obj2, allora obj1 non si sovrappone a obj2. 
(=>
      (and
            (fills ?OBJ1 ?HOLE)
            (attribute ?OBJ2 Fillable))
      (not
            (overlapsSpatially ?OBJ1 ?OBJ2)))
Se obj riempies hole1 e hole2 é una Parte propria di hole1, allora obj riempie completamentes hole2. 
(=>
      (and
            (fills ?OBJ ?HOLE1)
            (properPart ?HOLE2 ?HOLE1))
      (completelyFills ?OBJ ?HOLE2))
Se obj1 riempies hole e obj2 é una Parte propria di obj1, allora obj2 riempie propriamentes hole. 
(=>
      (and
            (fills ?OBJ1 ?HOLE)
            (properPart ?OBJ2 ?OBJ1))
      (properlyFills ?OBJ2 ?HOLE))