Wählen Sie Sprache: english | cesky | deutsch | italiano | simplified chinese | traditional chinese | hindi
Concept:
English word:
Home

fülltRichtig (properlyFills)

(properlyFills obj hole) means that hole is properly (though perhaps incompletely) filled by obj, i.e. some part of hole is perfectly filled by obj. Note that properlyFills is the dual of completelyFills, and is so related to partiallyFills that obj properlyFills hole just in case obj partiallyFills every part of hole. (Thus, every perfect filler is both complete and proper in this sense).

Ontology

SUMO / MEREOTOPOLOGY

Class(es)

asymmetrische Relation
is instance of
  fülltRichtig  

Superrelation(s)

befindetSichTeils
is subrelation of
  befindetSich  
is subrelation of
  fülltTeilweise  
is subrelation of
  fülltRichtig  

Subrelation(s)

füllt 

Coordinate term(s)

RückseiteFn  KardinalitätFn  FrontseiteFn  HauptwirtFn  Wahrscheinlichkeit  OberflächeFn  attribut  schreibt  verursacht  causes subclass  bürger  aufgeschlossen  fülltVollständig  enthältInformationen  kreuzt  datum  entwicklungsForm  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  weise  mass  schliesstZeitlichAn  mitglied  modalesAttribute  elternteil  teilweiseEinrichtung  fülltTeilweise  pfadLänge  dringtEin  besitzt  vorbedingung  korrektesTeil  veröffentlicht  &%bildbereich von %1 ist ein fall von %2 {nicht}  bildbereichTeilkategorie  realizierung  reflexivAuf  nachfolgerAttribut  fläche  zeitlichesTeil  zeit  gesamteinrichtung  trichotomizierungAuf  verwendet  valenz  version 

Type restrictions

properlyFills(Gegenstand, Loch)

Axioms (4)

Wenn obj füllt hole1 richtig, dann es gibt ein hole2 der hole2 ist ein teil von hole1 und obj füllt hole2 . 
(=>
      (properlyFills ?OBJ ?HOLE1)
      (exists
            (?HOLE2)
            (and
                  (part ?HOLE2 ?HOLE1)
                  (fills ?OBJ ?HOLE2))))
Wenn obj1 füllt hole richtig und obj2 wird an obj1 angeschlossen, dann hole wird an obj2 angeschlossen. 
(=>
      (and
            (properlyFills ?OBJ1 ?HOLE)
            (connected ?OBJ2 ?OBJ1))
      (connected ?HOLE ?OBJ2))
Wenn obj1 füllt hole und obj2 ist ein korrektes teil von obj1 , dann obj2 füllt hole richtig. 
(=>
      (and
            (fills ?OBJ1 ?HOLE)
            (properPart ?OBJ2 ?OBJ1))
      (properlyFills ?OBJ2 ?HOLE))
Wenn area ist ein fall von Wassergebiet , dann es gibt ein bed,hole,Wasser water der "der wirt von dem Loch hole" ist gleich bed und water füllt hole richtig und "die vereinigung von den teilen von bed und water" ist gleich area . 
(=>
      (instance ?AREA WaterArea)
      (exists
            (?BED ?HOLE ?WATER)
            (and
                  (equal
                        (PrincipalHostFn ?HOLE)
                        ?BED)
                  (instance ?WATER Water)
                  (properlyFills ?WATER ?HOLE)
                  (equal
                        (MereologicalSumFn ?BED ?WATER)
                        ?AREA))))