Zvolte jazyk: english | cesky | deutsch | italiano | simplified chinese | traditional chinese | hindi
Koncept:
Anglické slovo:
Hlavní stránka

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.

Ontologie

SUMO / MEREOTOPOLOGY

Class(es)

třída
is instance of
  inheritable relation  
is instance of
  prostorová relace  
is instance of
nesymetrická relace
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 

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  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 

Typy argumentů

partiallyFills(objekt, díra)

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.

Axiomy (1)

Jestliže obj částečně zaplňuje hole1, potom existuje hole2 tak, že hole2 je částí hole1 a obj zcela zaplňuje hole2. 
(=>
      (partiallyFills ?OBJ ?HOLE1)
      (exists
            (?HOLE2)
            (and
                  (part ?HOLE2 ?HOLE1)
                  (completelyFills ?OBJ ?HOLE2))))