Select language: english | cesky | deutsch | italiano | simplified chinese | traditional chinese | hindi
Concept:
English word:
Home

mereological product fn (MereologicalProductFn)

(MereologicalProductFn obj1 obj2) denotes the Object consisting of the parts which belong to both obj1 and obj2.

Ontology

SUMO / MEREOTOPOLOGY

Class(es)

varga
is instance of
  inheritable relation  
is instance of
  sthaana sambandha  
is instance of
varga
is instance of
  inheritable relation  
is instance of
  dvi-aadhaary prakaarya  
is instance of
is instance of
  mereological product fn  

Coordinate term(s)

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 sum 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 

Type restrictions

object MereologicalProductFn(object, object)

Axioms (4)

mereological sum fn is internally related to mereological product fn. 
(relatedInternalConcept MereologicalSumFn MereologicalProductFn)
mereological product fn is internally related to mereological difference fn. 
(relatedInternalConcept MereologicalProductFn MereologicalDifferenceFn)
Agar obj3 is equal to "the intersection of the parts of obj1 and obj2", to sab-kuch part ke lie hai, ki: part is a part of obj3 agar hai part is a part of obj1 aur part is a part of obj2. 
(=>
      (equal
            ?OBJ3
            (MereologicalProductFn ?OBJ1 ?OBJ2))
      (forall
            (?PART)
            (<=>
                  (part ?PART ?OBJ3)
                  (and
                        (part ?PART ?OBJ1)
                        (part ?PART ?OBJ2)))))
Agar hole obj1 men chidra hai aur hole obj2 men chidra hai, to yah kuch obj3 nahin, ki obj3 is a properPart of "the intersection of the parts of obj1 and obj2" aur hole obj3 men chidra hai. 
(=>
      (and
            (hole ?HOLE ?OBJ1)
            (hole ?HOLE ?OBJ2))
      (exists
            (?OBJ3)
            (and
                  (properPart
                        ?OBJ3
                        (MereologicalProductFn ?OBJ1 ?OBJ2))
                  (hole ?HOLE ?OBJ3))))