MereologicalSumFn - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - MereologicalSumFn

MereologicalSumFn

appearance as argument number 1

(documentation MereologicalSumFn ChineseLanguage "(MereologicalSumFn ?OBJ1 ?OBJ2)表示这个 Object 含有属于 ?OBJ1 或 ?OBJ2 的部分。")	chinese_format.kif 2849-2850
(documentation MereologicalSumFn EnglishLanguage "(MereologicalSumFn ?OBJ1 ?OBJ2) denotes the Object consisting of the parts which belong to either ?OBJ1 or ?OBJ2.")	Merge.kif 9857-9859
(documentation MereologicalSumFn JapaneseLanguage "(MereologicalSumFn ?OBJ1 ?OBJ2) は、 ?OBJ1 または ?OBJ2 のいずれかに属するパーツから成る Objectを示す。")	japanese_format.kif 1593-1594
(domain MereologicalSumFn 1 Object)	Merge.kif 9851-9851	The number 1 argument of mereological sum is an instance of object
(domain MereologicalSumFn 2 Object)	Merge.kif 9852-9852	The number 2 argument of mereological sum is an instance of object
(instance MereologicalSumFn BinaryFunction)	Merge.kif 9849-9849	Mereological sum is an instance of binary function
(instance MereologicalSumFn SpatialRelation)	Merge.kif 9848-9848	Mereological sum is an instance of spatial relation
(instance MereologicalSumFn TotalValuedRelation)	Merge.kif 9850-9850	Mereological sum is an instance of total valued relation
(range MereologicalSumFn Object)	Merge.kif 9853-9853	The range of mereological sum is an instance of object
(relatedInternalConcept MereologicalSumFn MereologicalDifferenceFn)	Merge.kif 9855-9855	Mereological sum is internally related to mereological difference
(relatedInternalConcept MereologicalSumFn MereologicalProductFn)	Merge.kif 9854-9854	Mereological sum is internally related to mereological product

appearance as argument number 2

(format ChineseLanguage MereologicalSumFn "包括属于 %2 或 %1 的部分")	chinese_format.kif 395-395
(format EnglishLanguage MereologicalSumFn "the union of the parts of %1 and %2")	english_format.kif 401-401
(format FrenchLanguage MereologicalSumFn "l' union des parties de %1 et %2")	french_format.kif 228-228
(format ItalianLanguage MereologicalSumFn "l' unione delle parti di %1 e %2")	relations-it.txt 185-185
(format JapaneseLanguage MereologicalSumFn "%1 と %2 の union")	japanese_format.kif 2030-2030
(format PortugueseLanguage MereologicalSumFn "a uniao das partes de %1 e %2")	portuguese_format.kif 180-180
(format de MereologicalSumFn "die vereinigung von den teilen von %1 und %2")	relations-de.txt 1017-1017
(format hi MereologicalSumFn "%1 aura %2 ke bhaagon kaa sanyojana")	relations-hindi.txt 223-223
(format ro MereologicalSumFn "union%t{reuniunea} pãrþilor din %1 ºi %2")	relations-ro.kif 248-248
(format sv MereologicalSumFn "unionen av delarna av %1 och %2")	relations-sv.txt 248-248
(format tg MereologicalSumFn "ang pagkakaisa ng bahagi ng %1 at %2")	relations-tg.txt 362-362
(termFormat ChineseLanguage MereologicalSumFn "mereological 总和")	domainEnglishFormat.kif 37219-37219
(termFormat ChineseLanguage MereologicalSumFn "部分总和函数")	chinese_format.kif 396-396
(termFormat ChineseTraditionalLanguage MereologicalSumFn "mereological 總和")	domainEnglishFormat.kif 37218-37218
(termFormat EnglishLanguage MereologicalSumFn "mereological sum")	domainEnglishFormat.kif 37217-37217
(termFormat de MereologicalSumFn "MereologischeSummeFn")	terms-de.txt 310-310

antecedent

(=> (and (equal ?OBJ (MereologicalSumFn ?PART1 ?PART2)) (connected ?PART1 ?PART2)) (instance ?OBJ SelfConnectedObject))	Merge.kif 9586-9590	If an object is equal to the union of the parts of another object and a third object and the other object is connected to the third object, then the object is an instance of self connected object
(=> (and (instance ?OBJ SelfConnectedObject) (equal ?OBJ (MereologicalSumFn ?PART1 ?PART2))) (connected ?PART1 ?PART2))	Merge.kif 9580-9584	If an object is an instance of self connected object and the object is equal to the union of the parts of another object and a third object, then the other object is connected to the third object
(=> (equal ?OBJ3 (MereologicalSumFn ?OBJ1 ?OBJ2)) (forall (?PART) (<=> (part ?PART ?OBJ3) (or (part ?PART ?OBJ1) (part ?PART ?OBJ2)))))	Merge.kif 9861-9868	If an object is equal to the union of the parts of another object and a third object, then for all a fourth object the fourth object is a part of the object if and only if the fourth object is a part of the other object or the fourth object is a part of the third object

consequent

(=> (and (hole ?HOLE1 ?OBJ) (hole ?HOLE2 ?OBJ)) (forall (?HOLE3) (=> (part ?HOLE3 (MereologicalSumFn ?HOLE1 ?HOLE2)) (hole ?HOLE3 ?OBJ))))	Merge.kif 9959-9966	If a hole is a hole in a self connected object and another hole is a hole in the self connected object, then for all a third hole if the third hole is a part of the union of the parts of the hole and the other hole, then the third hole is a hole in the self connected object
(=> (attribute ?T SymmetricShape) (exists (?C1 ?C2) (and (copy ?C1 ?C2) (equal ?T (MereologicalSumFn ?C1 ?C2)))))	Mid-level-ontology.kif 2908-2914	If symmetric shape is an attribute of an object, then there exist another object and a third object such that the other object is a copy of the third object and the object is equal to the union of the parts of the other object and the third object
(=> (half ?HALF ?WHOLE) (exists (?OTHER) (and (half ?OTHER ?WHOLE) (not (equal ?OTHER ?HALF)) (equal ?WHOLE (MereologicalSumFn ?HALF ?OTHER)))))	Mid-level-ontology.kif 14073-14079	If an object is half of another object, then there exists a third object such that the third object is half of the other object and the third object is not equal to the object and the other object is equal to the union of the parts of the object and the third object
(=> (instance ?AREA WaterArea) (exists (?BED ?HOLE ?WATER) (and (equal (HoleHostFn ?HOLE) ?BED) (instance ?WATER Water) (properlyFills ?WATER ?HOLE) (equal (MereologicalSumFn ?BED ?WATER) ?AREA))))	Merge.kif 14198-14205	If an object is an instance of water area, then there exist another object, a hole and a third object such that the host of the hole the hole is equal to the other object and the third object is an instance of water and the third object properly fills the hole and the union of the parts of the other object and the third object is equal to the object
(=> (instance ?Estate RealEstate) (or (instance ?Estate StationaryArtifact) (instance ?Estate LandArea) (exists (?Artifact ?Area) (and (instance ?Artifact StationaryArtifact) (instance ?Area LandArea) (equal ?Estate (MereologicalSumFn ?Artifact ?Area))))))	FinancialOntology.kif 1373-1382	If an object is an instance of real estate, then the object is an instance of stationary artifact or the object is an instance of land area or there exist another object and a third object such that the other object is an instance of stationary artifact and the third object is an instance of land area and the object is equal to the union of the parts of the other object and the third object
(=> (instance ?S Hydrocarbon) (exists (?P1 ?P2) (and (equal ?S (MereologicalSumFn ?P1 ?P2)) (instance ?P1 Carbon) (instance ?P2 Hydrogen))))	Mid-level-ontology.kif 9360-9366	If an object is an instance of hydrocarbon, then there exist another object and a third object such that the object is equal to the union of the parts of the other object and the third object and the other object is an instance of carbon and the third object is an instance of hydrogen
(=> (third ?T ?W) (exists (?O1 ?O2) (and (third ?O1 ?W) (third ?O2 ?W) (not (equal ?O1 ?T)) (not (equal ?O2 ?T)) (not (equal ?O1 ?O2)) (equal ?W (MereologicalSumFn ?T (MereologicalSumFn ?O1 ?O2))))))	Mid-level-ontology.kif 14086-14097	If an object is a third of another object, then there exist a third object and a fourth object such that the third object is a third of the other object and the fourth object is a third of the other object and the third object is not equal to the object and the fourth object is not equal to the object and the third object is not equal to the fourth object and the other object is equal to the union of the parts of the object and the union of the parts of the third object and the fourth object

Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners