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

HauptwirtFn (PrincipalHostFn)

A UnaryFunction that maps a Hole to the Object which is its principal host. The principle host of a Hole is its maximally connected host (a notion taken here to be defined only when the argument is a hole).

Ontology

SUMO / MEREOTOPOLOGY

Class(es)

Kategorie
is instance of
  inheritable relation  
is instance of
  räumliche Relation  
is instance of
Kategorie
is instance of
  inheritable relation  
is instance of
  einstellige Funktion  
is instance of
asymmetrische Relation
is instance of
is instance of
  HauptwirtFn  

Coordinate term(s)

AbsolutbetragFn  AbstraktionFn  ArcuskosinusFn  ArcussinusFn  ArcustangensFn  RückseiteFn  AnfangFn  BeginNullPunktFn  KardinalitätFn  ObersteGrenzeFn  ErgänzungFn  KosinusFn  SchnittMengeFn  NennerFn  EndeFn  EndeNullPunktFn  ExtensionFn  UntersteGrenzeFn  FrontseiteFn  ZukunftFn  GeneralisierteDurchschnittFn  GeneralisierteVereinigungFn  GigaFn  ImaginäresTeilFn  SofortigeZukunftFn  DirektVergangenheitFn  AusgangsNullPunktFn  GanzzahlQuadratwurzelFn  KiloFn  ListeLängeFn  GrösseFn  MegaFn  MereologischeDifferenzFn  MereologischesProduktFn  MereologischeSummeFn  MicroFn  MilliFn  MinimaleSchnittMengeFn  NanoFn  ZählerFn  OrganisationFn  VergangenheitFn  PfadGewichtfn  PicoFn  PotenzMengeFn  VorgängerFn  Wahrscheinlichkeit  EigentumFn  RationaleZahlFn  ReelleZahlfn  ReziprokerWert  RundFn  SignumFn  SinusFn  OberflächeFn  QuadratwurzelFn  NachfolgerFn  TangensFn  TeraFn  TerminalNullPunktFn  Füllefn  WennFn  WoFn  JahrFn  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  fülltTeilweise  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

Gegenstand PrincipalHostFn(Loch)

Axioms (3)

Wenn obj1 ist gleich "der wirt von dem Loch hole" , dann für jeden obj2 gilt: obj2 deckt sich mit obj1 räumlich nur wenn es gibt ein obj3 der hole ist ein loch in obj3 und obj2 deckt sich mit obj3 räumlich . 
(=>
      (equal
            ?OBJ1
            (PrincipalHostFn ?HOLE))
      (forall
            (?OBJ2)
            (<=>
                  (overlapsSpatially ?OBJ2 ?OBJ1)
                  (exists
                        (?OBJ3)
                        (and
                              (hole ?HOLE ?OBJ3)
                              (overlapsSpatially ?OBJ2 ?OBJ3))))))
Wenn obj1 ist gleich "die oberfläche von dem Loch hole" , dann für jeden obj2 gilt: obj2 deckt sich mit obj1 räumlich nur wenn es gibt ein obj3 der obj3 ist ein oberflächliches teil von "der wirt von dem Loch hole" und hole schliesst obj3 räumlich an und obj2 deckt sich mit obj3 räumlich . 
(=>
      (equal
            ?OBJ1
            (SkinFn ?HOLE))
      (forall
            (?OBJ2)
            (<=>
                  (overlapsSpatially ?OBJ2 ?OBJ1)
                  (exists
                        (?OBJ3)
                        (and
                              (superficialPart
                                    ?OBJ3
                                    (PrincipalHostFn ?HOLE))
                              (meetsSpatially ?HOLE ?OBJ3)
                              (overlapsSpatially ?OBJ2 ?OBJ3))))))
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))))