PowerSetFn - Sigma Knowledge base Browser

appearance as argument number 1

(instance PowerSetFn UnaryFunction)	Merge.kif 787-787	Power set is an instance of unary function
(instance PowerSetFn TotalValuedRelation)	Merge.kif 788-788	Power set is an instance of total valued relation
(domain PowerSetFn 1 SetOrClass)	Merge.kif 789-789	The number 1 argument of power set is an instance of set or class
(rangeSubclass PowerSetFn SetOrClass)	Merge.kif 790-790	The values returned by power set are subclasses of set or class
(documentation PowerSetFn EnglishLanguage "(PowerSetFn ?CLASS) maps the SetOrClass ?CLASS to the SetOrClass of all subclasses of ?CLASS.")	Merge.kif 792-793	The values returned by power set are subclasses of set or class

appearance as argument number 2

(termFormat EnglishLanguage PowerSetFn "power set")	domainEnglishFormat.kif 47047-47047
(termFormat ChineseTraditionalLanguage PowerSetFn "電源組")	domainEnglishFormat.kif 47048-47048
(termFormat ChineseLanguage PowerSetFn "电源组")	domainEnglishFormat.kif 47049-47049
(format EnglishLanguage PowerSetFn "all subclasses of %1")	english_format.kif 351-351