Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - GeneralizedUnionFn

appearance as argument number 1

(documentation GeneralizedUnionFn ChineseLanguage "这是一个 UnaryFunction,它拿 Class 的 一个 SetOrClass 为它的单一参数,然后返回由原本 SetOrClass 的所有 Class 合并为一个 SetOrClass,即是这个 SetOrClass 里的实例包括只属于原本 SetOrClass 的实例。") chinese_format.kif 2303-2305
(documentation GeneralizedUnionFn EnglishLanguage "A UnaryFunction that takes a SetOrClass of Classes as its single argument and returns a SetOrClass which is the merge of all of the Classes in the original SetOrClass, i.e. the SetOrClass containing just those instances which are instances of an instance of the original SetOrClass.") Merge.kif 5490-5494
(documentation GeneralizedUnionFn JapaneseLanguage "A UnaryFunction は、Classes の SetOrClas を単一の引数として受け取り、元の SetOrClass 内のすべての Class のマージである Classes を返す。 すなわち、SetOrClass は、元の SetOrClass のインスタンスのインスタンスで あるインスタンスだけを含む。") japanese_format.kif 972-975
(domainSubclass GeneralizedUnionFn 1 SetOrClass) Merge.kif 5487-5487 The number 1 argument of generalized union is a subclass of set or class
(instance GeneralizedUnionFn TotalValuedRelation) Merge.kif 5486-5486 Generalized union is an instance of total valued relation
(instance GeneralizedUnionFn UnaryFunction) Merge.kif 5485-5485 Generalized union is an instance of unary function
(range GeneralizedUnionFn SetOrClass) Merge.kif 5488-5488 The range of generalized union is an instance of set or class

appearance as argument number 2

(format ChineseLanguage GeneralizedUnionFn "结合 %1 所有的 element") chinese_format.kif 502-502
(format EnglishLanguage GeneralizedUnionFn "the union of all the elements of %1") english_format.kif 507-507
(format FrenchLanguage GeneralizedUnionFn "l' union de tous les �lements de %1") french_format.kif 294-294
(format ItalianLanguage GeneralizedUnionFn "l' unione di tutti gli elementi di %1") relations-it.txt 117-117
(format JapaneseLanguage GeneralizedUnionFn "%1 のすべての要素の union") japanese_format.kif 2071-2071
(format PortugueseLanguage GeneralizedUnionFn "a uniao de todos os elementos de %1") portuguese_format.kif 246-246
(format de GeneralizedUnionFn "die vereinigung aller Elementen von %1") relations-de.txt 653-653
(format hi GeneralizedUnionFn "%1 ke sabhii ghaTakon kaa sammilana") relations-hindi.txt 157-157
(format ro GeneralizedUnionFn "union%t{reuniunea} tuturor elementelor lui %1") relations-ro.kif 315-315
(format sv GeneralizedUnionFn "unionen av alla element i %1") relations-sv.txt 322-322
(format tg GeneralizedUnionFn "ang pangkat sa lahat ng kasapi sa %1") relations-tg.txt 243-243
(termFormat ChineseLanguage GeneralizedUnionFn "一般化联盟") domainEnglishFormat.kif 25704-25704
(termFormat ChineseLanguage GeneralizedUnionFn "概括结合函数") chinese_format.kif 503-503
(termFormat ChineseTraditionalLanguage GeneralizedUnionFn "一般化聯盟") domainEnglishFormat.kif 25703-25703
(termFormat EnglishLanguage GeneralizedUnionFn "generalized union") domainEnglishFormat.kif 25702-25702

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