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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - PowerSetFn
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 766-767
(domain PowerSetFn 1 SetOrClass) Merge.kif 763-763 The number 1 argument of power set is an instance of set or class
(instance PowerSetFn TotalValuedRelation) Merge.kif 762-762 Power set is an instance of total valued relation
(instance PowerSetFn UnaryFunction) Merge.kif 761-761 Power set is an instance of unary function
(rangeSubclass PowerSetFn SetOrClass) Merge.kif 764-764 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 354-354
(termFormat ChineseLanguage PowerSetFn "幂集函数") chinese_format.kif 349-349
(termFormat ChineseLanguage PowerSetFn "电源组") domainEnglishFormat.kif 47036-47036
(termFormat ChineseTraditionalLanguage PowerSetFn "電源組") domainEnglishFormat.kif 47035-47035
(termFormat EnglishLanguage PowerSetFn "power set") domainEnglishFormat.kif 47034-47034


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