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

partially fills (partiallyFills)

(partiallyFills obj hole) means that obj completelyFills some part of hole. Note that if (partiallyFills obj1 hole) and (part obj1 obj2), then (partiallyFills obj2 hole). Note too that a partial filler need not be wholly inside a hole (it may stick out), which means that every complete filler also qualifies as (is a limit case of) a partial one.

Ontology

SUMO / MEREOTOPOLOGY

Class(es)

Classe
is instance of
  inheritable relation  
is instance of
  RelazioneSpaziale  
is instance of
RelazioneAsimmetrica
is instance of
is instance of
  partially fills  

Superrelation(s)

partly located
is subrelation of
  located  
is subrelation of
  partially fills  

Subrelation(s)

properly fills  completely fills 

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  attribute  authors  between  causes  causes subclass  citizen  closed on  completely fills  connected  connects  contains information  crosses  date  developmental form  distance  documentation  duration  editor  element  equivalence relation on  exploits  expressed in language  fills  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  larger  manner  measure  meets temporally  member  modal attribute  orientation  parent  part  partial ordering on  partly located  path length  penetrates  possesses  precondition  proper part  properly fills  publishes  range  range subclass  realization  reflexive on  smaller  successor attribute  surface  temporal part  time  total ordering on  traverses  trichotomizing on  uses  valence  version 

Type restrictions

partiallyFills(Oggetto, Apertura)

Related WordNet synsets

containment
the act of containing something
containment is kind of (all)...   containment is kind of...  
See more related synsets on a separate page.

Axioms (1)

Se obj riempie parzialmentes hole1, allora esiste hole2 tale che hole2 é una parte di hole1 e obj riempie completamentes hole2. 
(=>
      (partiallyFills ?OBJ ?HOLE1)
      (exists
            (?HOLE2)
            (and
                  (part ?HOLE2 ?HOLE1)
                  (completelyFills ?OBJ ?HOLE2))))