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

Formal Language: 

KB Term:  Term intersection
English Word: 


Sigma KEE - PowerSetFn

appearance as argument number 1

(documentation PowerSetFn ChineseLanguage "(PowerSetFn ?CLASS) 把SetOrClass ?CLASS 的所有subclass,都纳入SetOrClass的?CLASS上。") chinese_format.kif 1548-1549
(documentation PowerSetFn EnglishLanguage "(PowerSetFn ?CLASS) maps the SetOrClass ?CLASS to the SetOrClass of all subclasses of ?CLASS.") Merge.kif 800-801
(documentation PowerSetFn JapaneseLanguage "(PowerSetFn ?CLASS) は、SetOrClass ?CLASSを ?CLASSのすべての subclasses のSetOrClass へマップする。") japanese_format.kif 116-117
(documentation PowerSetFn SpanishLanguage "(PowerSetFn ?CLASS) mapea el SetOrClass ?CLASS al SetOrClass de todas las subclasses de ?CLASS.") spanish_format.kif 135-136
(domain PowerSetFn 1 SetOrClass) Merge.kif 797-797 The number 1 argument of power set is an instance of set or class
(instance PowerSetFn TotalValuedRelation) Merge.kif 796-796 Power set is an instance of total valued relation
(instance PowerSetFn UnaryFunction) Merge.kif 795-795 Power set is an instance of unary function
(rangeSubclass PowerSetFn SetOrClass) Merge.kif 798-798 The values returned by power set are subclasses of set or class

appearance as argument number 2

(format ChineseLanguage PowerSetFn "%1的所有subclass") chinese_format.kif 348-348
(format EnglishLanguage PowerSetFn "all subclasses of %1") english_format.kif 351-351
(format FrenchLanguage PowerSetFn "toutes sous-classes de %1") french_format.kif 198-198
(format ItalianLanguage PowerSetFn "ogni sottoclasse di %1") relations-it.txt 225-225
(format JapaneseLanguage PowerSetFn "%1 の 全ての subclasses") japanese_format.kif 2014-2014
(format PortugueseLanguage PowerSetFn "todas sub-classes de %1") portuguese_format.kif 150-150
(format cz PowerSetFn "all subclasses of %1") relations-cz.txt 206-206
(format de PowerSetFn "alle teilkategorien von %1") relations-de.txt 464-464
(format hi PowerSetFn "%1 ke saba upasamuchchaya") relations-hindi.txt 263-263
(format ro PowerSetFn "toate subclasses%t{subclasele} lui %1") relations-ro.kif 218-218
(format sv PowerSetFn "alla subklasser till %1") relations-sv.txt 214-214
(format tg PowerSetFn "lahat ng klase ng mababa ng %1") relations-tg.txt 417-417
(termFormat ChineseLanguage PowerSetFn "幂集函数") chinese_format.kif 349-349
(termFormat ChineseLanguage PowerSetFn "电源组") domainEnglishFormat.kif 47054-47054
(termFormat ChineseTraditionalLanguage PowerSetFn "電源組") domainEnglishFormat.kif 47053-47053
(termFormat EnglishLanguage PowerSetFn "power set") domainEnglishFormat.kif 47052-47052

Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

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