| appearance as argument number 1 |
|
| 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 37193-37193 | |
| (termFormat ChineseLanguage MereologicalSumFn "部分总和函数") | chinese_format.kif 396-396 | |
| (termFormat ChineseTraditionalLanguage MereologicalSumFn "mereological 總和") | domainEnglishFormat.kif 37192-37192 | |
| (termFormat EnglishLanguage MereologicalSumFn "mereological sum") | domainEnglishFormat.kif 37191-37191 |
| antecedent |
|
|
| (=> (and (equal ?OBJ (MereologicalSumFn ?PART1 ?PART2)) (connected ?PART1 ?PART2)) (instance ?OBJ SelfConnectedObject)) |
Merge.kif 9557-9561 | |
| (=> (and (instance ?OBJ SelfConnectedObject) (equal ?OBJ (MereologicalSumFn ?PART1 ?PART2))) (connected ?PART1 ?PART2)) |
Merge.kif 9551-9555 | |
| (=> (equal ?OBJ3 (MereologicalSumFn ?OBJ1 ?OBJ2)) (forall (?PART) (<=> (part ?PART ?OBJ3) (or (part ?PART ?OBJ1) (part ?PART ?OBJ2))))) |
Merge.kif 9832-9839 |
| consequent |
|
|
| (=> (and (hole ?HOLE1 ?OBJ) (hole ?HOLE2 ?OBJ)) (forall (?HOLE3) (=> (part ?HOLE3 (MereologicalSumFn ?HOLE1 ?HOLE2)) (hole ?HOLE3 ?OBJ)))) |
Merge.kif 9930-9937 | |
| (=> (attribute ?T SymmetricShape) (exists (?C1 ?C2) (and (copy ?C1 ?C2) (equal ?T (MereologicalSumFn ?C1 ?C2))))) |
Mid-level-ontology.kif 2835-2841 | |
| (=> (half ?HALF ?WHOLE) (exists (?OTHER) (and (half ?OTHER ?WHOLE) (not (equal ?OTHER ?HALF)) (equal ?WHOLE (MereologicalSumFn ?HALF ?OTHER))))) |
Mid-level-ontology.kif 13204-13210 | |
| (=> (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 14170-14177 | |
| (=> (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 1359-1368 | |
| (=> (instance ?S Hydrocarbon) (exists (?P1 ?P2) (and (equal ?S (MereologicalSumFn ?P1 ?P2)) (instance ?P1 Carbon) (instance ?P2 Hydrogen)))) |
Mid-level-ontology.kif 8614-8620 | |
| (=> (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 13217-13228 |
|
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