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 |
consequent |