MereologicalSumFn |
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 37202-37202 | |
(termFormat ChineseLanguage MereologicalSumFn "部分总和函数") | chinese_format.kif 396-396 | |
(termFormat ChineseTraditionalLanguage MereologicalSumFn "mereological 總和") | domainEnglishFormat.kif 37201-37201 | |
(termFormat EnglishLanguage MereologicalSumFn "mereological sum") | domainEnglishFormat.kif 37200-37200 | |
(termFormat de MereologicalSumFn "MereologischeSummeFn") | terms-de.txt 310-310 |
antecedent |
![]() |
(=> (and (equal ?OBJ (MereologicalSumFn ?PART1 ?PART2)) (connected ?PART1 ?PART2)) (instance ?OBJ SelfConnectedObject)) |
Merge.kif 9657-9661 | |
(=> (and (instance ?OBJ SelfConnectedObject) (equal ?OBJ (MereologicalSumFn ?PART1 ?PART2))) (connected ?PART1 ?PART2)) |
Merge.kif 9651-9655 | |
(=> (equal ?OBJ3 (MereologicalSumFn ?OBJ1 ?OBJ2)) (forall (?PART) (<=> (part ?PART ?OBJ3) (or (part ?PART ?OBJ1) (part ?PART ?OBJ2))))) |
Merge.kif 9934-9941 |
consequent |
![]() |
(=> (and (hole ?HOLE1 ?OBJ) (hole ?HOLE2 ?OBJ)) (forall (?HOLE3) (=> (part ?HOLE3 (MereologicalSumFn ?HOLE1 ?HOLE2)) (hole ?HOLE3 ?OBJ)))) |
Merge.kif 10032-10039 |
|
(=> (attribute ?T SymmetricShape) (exists (?C1 ?C2) (and (copy ?C1 ?C2) (equal ?T (MereologicalSumFn ?C1 ?C2))))) |
Mid-level-ontology.kif 3305-3311 | |
(=> (half ?HALF ?WHOLE) (exists (?OTHER) (and (half ?OTHER ?WHOLE) (not (equal ?OTHER ?HALF)) (equal ?WHOLE (MereologicalSumFn ?HALF ?OTHER))))) |
Mid-level-ontology.kif 14510-14516 | |
(=> (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 14277-14284 | |
(=> (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 1375-1384 | |
(=> (instance ?S Hydrocarbon) (exists (?P1 ?P2) (and (equal ?S (MereologicalSumFn ?P1 ?P2)) (instance ?P1 Carbon) (instance ?P2 Hydrogen)))) |
Mid-level-ontology.kif 9793-9799 | |
(=> (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 14525-14536 |
![]() |
![]() |