PowerSetFn - Sigma Knowledge base Browser

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 47092-47092
(termFormat ChineseTraditionalLanguage PowerSetFn "電源組")	domainEnglishFormat.kif 47091-47091
(termFormat EnglishLanguage PowerSetFn "power set")	domainEnglishFormat.kif 47090-47090