fülltTeilweise (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)

Kategorie

inheritable relation

räumliche Relation
is instance of

asymmetrische Relation
is instance of

fülltTeilweise

Superrelation(s)

befindetSichTeils

befindetSich

fülltTeilweise

Subrelation(s)

fülltRichtig fülltVollständig

Coordinate term(s)

RückseiteFn KardinalitätFn FrontseiteFn MereologischeDifferenzFn MereologischesProduktFn MereologischeSummeFn HauptwirtFn Wahrscheinlichkeit OberflächeFn WoFn attribut schreibt zwischen verursacht causes subclass bürger aufgeschlossen fülltVollständig angeschlossen schliesstAn enthältInformationen kreuzt datum entwicklungsForm abstand dokumentation &%dauer von %1 ist %2 %n{nicht} herausgeber element äquivalenzrelationMit nutztAus inSpracheAusgedrückt füllt frequenz graphenTeil hatZweck hatFähigkeit hältWährend hatVerpflichtung hatRecht loch identitätsElement direkterFall direckteTeilkategorie inListe imBereichInteresses wohnt irreflexivAur grösser weise mass schliesstZeitlichAn mitglied modalesAttribute lagebestimmung elternteil teil teilweiseEinrichtung befindetSichTeils pfadLänge dringtEin besitzt vorbedingung korrektesTeil fülltRichtig veröffentlicht &%bildbereich von %1 ist ein fall von %2 {nicht} bildbereichTeilkategorie realizierung reflexivAuf kleiner nachfolgerAttribut fläche zeitlichesTeil zeit gesamteinrichtung überqürt trichotomizierungAuf verwendet valenz version

Type restrictions

partiallyFills(Gegenstand, Loch)

Related WordNet synsets

containment: the act of containing something

See more related synsets on a separate page.

Axioms (1)

Wenn obj füllt hole1 teilweise, dann es gibt ein hole2 der hole2 ist ein teil von hole1 und obj füllt hole2 vollständig.

(=>
      (partiallyFills ?OBJ ?HOLE1)
      (exists
            (?HOLE2)
            (and
                  (part ?HOLE2 ?HOLE1)
                  (completelyFills ?OBJ ?HOLE2))))