GeneralizedIntersectionFn |
appearance as argument number 1 |
(documentation GeneralizedIntersectionFn ChineseLanguage "这是一个 UnaryFunction,它拿 Class 的一个 SetOrClass 为它的单一参数,然后返回由原本 SetOrClass 所有 Class 的交集为一个 SetOrClass,即是这个 SetOrClass 里的实例只包括出现在所有原本 SetOrClass 的实例。") | chinese_format.kif 2306-2308 | |
(documentation GeneralizedIntersectionFn EnglishLanguage "A UnaryFunction that takes a SetOrClass of Classes as its single argument and returns a SetOrClass which is the intersection of all of the Classes in the original SetOrClass, i.e. the SetOrClass containing just those instances which are instances of all instances of the original SetOrClass.") | Merge.kif 5502-5506 | |
(documentation GeneralizedIntersectionFn JapaneseLanguage "UnaryFunction は、Class の %SetOrClass を単一の引数として受け取り、元の %SetOrClass の内のすべての %SetOrClass の交点であ る %SetOrClass を返す。 すなわち、%SetOrClass は元の %SetOrClass のすべてのインスタンスのインス タンスであるインスタンスだけを含む。") | japanese_format.kif 976-979 | |
(domainSubclass GeneralizedIntersectionFn 1 SetOrClass) | Merge.kif 5499-5499 | |
(instance GeneralizedIntersectionFn TotalValuedRelation) | Merge.kif 5498-5498 | |
(instance GeneralizedIntersectionFn UnaryFunction) | Merge.kif 5497-5497 | |
(range GeneralizedIntersectionFn SetOrClass) | Merge.kif 5500-5500 |
appearance as argument number 2 |
(format ChineseLanguage GeneralizedIntersectionFn "把 %1 所有的 element 并成交集") | chinese_format.kif 504-504 | |
(format EnglishLanguage GeneralizedIntersectionFn "the intersection of all the elements of %1") | english_format.kif 509-509 | |
(format FrenchLanguage GeneralizedIntersectionFn "l' intersection de tous les �lements de %1") | french_format.kif 295-295 | |
(format ItalianLanguage GeneralizedIntersectionFn "l' intersezione di tutti gli elementi di %1") | relations-it.txt 116-116 | |
(format JapaneseLanguage GeneralizedIntersectionFn "%1 のすべての要素の intersection") | japanese_format.kif 2072-2072 | |
(format PortugueseLanguage GeneralizedIntersectionFn "a intersecao de todos os elementos de %1") | portuguese_format.kif 247-247 | |
(format de GeneralizedIntersectionFn "der durchschnitt aller Elementen von %1") | relations-de.txt 656-656 | |
(format hi GeneralizedIntersectionFn "%1 ke sabhii ghaTakon kaa sarvanishhTha") | relations-hindi.txt 156-156 | |
(format ro GeneralizedIntersectionFn "intersection%t{intersecþia} tuturor elementelor lui %1") | relations-ro.kif 316-316 | |
(format sv GeneralizedIntersectionFn "snittet av alla element i %1") | relations-sv.txt 323-323 | |
(format tg GeneralizedIntersectionFn "ang lipon sa lahat ng kasapi sa %1") | relations-tg.txt 242-242 | |
(termFormat ChineseLanguage GeneralizedIntersectionFn "一般化交叉口") | domainEnglishFormat.kif 25732-25732 | |
(termFormat ChineseLanguage GeneralizedIntersectionFn "概括交集函数") | chinese_format.kif 505-505 | |
(termFormat ChineseTraditionalLanguage GeneralizedIntersectionFn "一般化交叉口") | domainEnglishFormat.kif 25731-25731 | |
(termFormat EnglishLanguage GeneralizedIntersectionFn "generalized intersection") | domainEnglishFormat.kif 25730-25730 |