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

MereologischeSummeFn (MereologicalSumFn)

(MereologicalSumFn obj1 obj2) denotes the Object consisting of the parts which belong to either obj1 or obj2.

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
  zweistellige Funktion  
is instance of
is instance of
  MereologischeSummeFn  

Coordinate term(s)

AdditionFn  RückseiteFn  TagFn  DichteFn  DivisionFn  AusgabeFn  ExponentiationFn  FrontseiteFn  GraphPfadFn  StundeFn  DurchschnittFn  AbstandFn  KappaFn  ListeVerkettenFn  ListeOrdnungFn  LogarithmusFn  MaximumFn  MaximalerBelasteterPfadFn  MassFn  MereologischeDifferenzFn  MereologischesProduktFn  MinumumFn  MinimalerBelasteterPfadFn  MinuteFn  MonatFn  MultiplikationFn  PeriodikumAusgabeFn  HauptwirtFn  RückläufigeZeitAbstandFn  RelativeErgänzungFn  RelativeZeitFn  RestFn  SekundFn  ReiheBandeFn  OberflächeFn  GeschwindigkeitFn  SubtraktionFn  ZeitlicheAufbauFn  ZeitabstandFn  VereinigungFn  WoFn  zwischen  angeschlossen  schliesstAn  abstand  loch  grösser  lagebestimmung  teil  fülltTeilweise  befindetSichTeils  kleiner  überqürt 

Type restrictions

Gegenstand MereologicalSumFn(Gegenstand, Gegenstand)

Related WordNet synsets

See more related synsets on a separate page.

Axioms (6)

obj ist ein fall von selbstverbundener Gegenstand nur wenn für jeden part1,part2 gilt: wenn obj ist gleich "die vereinigung von den teilen von part1 und part2" , dann part1 wird an part2 angeschlossen. 
(<=>
      (instance ?OBJ SelfConnectedObject)
      (forall
            (?PART1 ?PART2)
            (=>
                  (equal
                        ?OBJ
                        (MereologicalSumFn ?PART1 ?PART2))
                  (connected ?PART1 ?PART2))))
MereologischeSummeFn ist innerlich verwandt mit MereologischesProduktFn . 
(relatedInternalConcept MereologicalSumFn MereologicalProductFn)
MereologischeSummeFn ist innerlich verwandt mit MereologischeDifferenzFn . 
(relatedInternalConcept MereologicalSumFn MereologicalDifferenceFn)
Wenn obj3 ist gleich "die vereinigung von den teilen von obj1 und obj2" , dann für jeden part gilt: part ist ein teil von obj3 nur wenn part ist ein teil von obj1 oder part ist ein teil von obj2 . 
(=>
      (equal
            ?OBJ3
            (MereologicalSumFn ?OBJ1 ?OBJ2))
      (forall
            (?PART)
            (<=>
                  (part ?PART ?OBJ3)
                  (or
                        (part ?PART ?OBJ1)
                        (part ?PART ?OBJ2)))))
(=>
      (and
            (hole ?HOLE1 ?OBJ)
            (hole ?HOLE2 ?OBJ))
      (forall
            (?HOLE3)
            (=>
                  (part
                        ?HOLE3
                        (MereologicalSumFn ?HOLE1 ?HOLE2))
                  (hole ?HOLE3 ?OBJ))))
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))))