mereological sum fn (MereologicalSumFn)
(MereologicalSumFn obj1 obj2)
denotes the Object consisting of the parts which belong to either
obj1 or obj2.
SUMO / MEREOTOPOLOGY
graph path fn
list concatenate fn
list order fn
maximal weighted path fn
mereological difference fn
mereological product fn
minimal weighted path fn
periodical issue fn
principal host fn
recurrent time interval fn
relative complement fn
relative time fn
series volume fn
temporal composition fn
time interval fn
object MereologicalSumFn(object, object)
Related WordNet synsets
See more related synsets on a separate page.
obj is an instance of aatmasambaddha vastu agar hai sab-kuch part1,part2 ke lie hai, ki: agar obj is equal to "the union of the parts of part1 and part2", to part1 is connected to part2.
(instance ?OBJ SelfConnectedObject)
(MereologicalSumFn ?PART1 ?PART2))
(connected ?PART1 ?PART2))))
mereological sum fn is internally related to mereological product fn.
(relatedInternalConcept MereologicalSumFn MereologicalProductFn)
mereological sum fn is internally related to mereological difference fn.
(relatedInternalConcept MereologicalSumFn MereologicalDifferenceFn)
Agar obj3 is equal to "the union 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 yaa part is a part of obj2.
(MereologicalSumFn ?OBJ1 ?OBJ2))
(part ?PART ?OBJ3)
(part ?PART ?OBJ1)
(part ?PART ?OBJ2)))))
- agar hole1 obj men chidra hai aur hole2 obj men chidra hai,
- to sab-kuch hole3 ke lie hai, ki: agar hole3 is a part of "the union of the parts of hole1 and hole2", to hole3 obj men chidra hai.
(hole ?HOLE1 ?OBJ)
(hole ?HOLE2 ?OBJ))
(MereologicalSumFn ?HOLE1 ?HOLE2))
(hole ?HOLE3 ?OBJ))))
Agar area is an instance of jala kshetra, to yah kuch bed,hole,jala water nahin, ki "the host of the hole hole" is equal to bed aur water properly fills hole aur "the union of the parts of bed and water" is equal to area.
(instance ?AREA WaterArea)
(?BED ?HOLE ?WATER)
(instance ?WATER Water)
(properlyFills ?WATER ?HOLE)
(MereologicalSumFn ?BED ?WATER)