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 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 9543-9547 | |
(=> (and (instance ?OBJ SelfConnectedObject) (equal ?OBJ (MereologicalSumFn ?PART1 ?PART2))) (connected ?PART1 ?PART2)) |
Merge.kif 9537-9541 | |
(=> (equal ?OBJ3 (MereologicalSumFn ?OBJ1 ?OBJ2)) (forall (?PART) (<=> (part ?PART ?OBJ3) (or (part ?PART ?OBJ1) (part ?PART ?OBJ2))))) |
Merge.kif 9818-9825 |
consequent |
(=> (and (hole ?HOLE1 ?OBJ) (hole ?HOLE2 ?OBJ)) (forall (?HOLE3) (=> (part ?HOLE3 (MereologicalSumFn ?HOLE1 ?HOLE2)) (hole ?HOLE3 ?OBJ)))) |
Merge.kif 9916-9923 | |
(=> (attribute ?T SymmetricShape) (exists (?C1 ?C2) (and (copy ?C1 ?C2) (equal ?T (MereologicalSumFn ?C1 ?C2))))) |
Mid-level-ontology.kif 2842-2848 | |
(=> (half ?HALF ?WHOLE) (exists (?OTHER) (and (half ?OTHER ?WHOLE) (not (equal ?OTHER ?HALF)) (equal ?WHOLE (MereologicalSumFn ?HALF ?OTHER))))) |
Mid-level-ontology.kif 13176-13182 | |
(=> (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 14146-14153 | |
(=> (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 8586-8592 | |
(=> (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 13189-13200 |