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

mereological sum fn (MereologicalSumFn)

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

Ontologie

SUMO / MEREOTOPOLOGY

Class(es)

třída
is instance of
  inheritable relation  
is instance of
  prostorová relace  
is instance of
třída
is instance of
  inheritable relation  
is instance of
  binární funkce  
is instance of
is instance of
  mereological sum fn  

Související termín(y)

addition fn  back fn  day fn  density fn  division fn  edition fn  exponentiation fn  front fn  graph path fn  hour fn  intersection fn  interval fn  kappa fn  list concatenate fn  list order fn  log fn  max fn  maximal weighted path fn  measure fn  mereological difference fn  mereological product fn  min fn  minimal weighted path fn  minute fn  month fn  multiplication fn  periodical issue fn  principal host fn  recurrent time interval fn  relative complement fn  relative time fn  remainder fn  second fn  series volume fn  skin fn  speed fn  subtraction fn  temporal composition fn  time interval fn  union fn  where fn  between  connected  connects  distance  hole  larger  orientation  part  partially fills  partly located  smaller  traverses 

Typy argumentů

objekt MereologicalSumFn(objekt, objekt)

Related WordNet synsets

See more related synsets on a separate page.

Axiomy (6)

obj je instancí třídy spojitý objekt tehdy a jen tehdy pokud pro všechny part1,part2 platí: jestliže obj se rovná "mereological sum fn(part1,part2)", potom part1 je spojen s part2. 
(<=>
      (instance ?OBJ SelfConnectedObject)
      (forall
            (?PART1 ?PART2)
            (=>
                  (equal
                        ?OBJ
                        (MereologicalSumFn ?PART1 ?PART2))
                  (connected ?PART1 ?PART2))))
mereological sum fn je internally related to mereological product fn. 
(relatedInternalConcept MereologicalSumFn MereologicalProductFn)
mereological sum fn je internally related to mereological difference fn. 
(relatedInternalConcept MereologicalSumFn MereologicalDifferenceFn)
Jestliže obj3 se rovná "mereological sum fn(obj1,obj2)", potom pro všechny part platí: part je částí obj3 tehdy a jen tehdy pokud part je částí obj1 nebo part je částí 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))))
Jestliže area je instancí třídy vodní plocha, potom existují bed,hole,voda water tak, že "principal host fn(hole)" se rovná bed a water přesně zaplňuje hole a "mereological sum fn(bed,water)" se rovná area. 
(=>
      (instance ?AREA WaterArea)
      (exists
            (?BED ?HOLE ?WATER)
            (and
                  (equal
                        (PrincipalHostFn ?HOLE)
                        ?BED)
                  (instance ?WATER Water)
                  (properlyFills ?WATER ?HOLE)
                  (equal
                        (MereologicalSumFn ?BED ?WATER)
                        ?AREA))))