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 765-766
(domain PowerSetFn 1 SetOrClass) Merge.kif 762-762 domain PowerSetFn, 1 and SetOrClass
(instance PowerSetFn TotalValuedRelation) Merge.kif 761-761 instance PowerSetFn and TotalValuedRelation
(instance PowerSetFn UnaryFunction) Merge.kif 760-760 instance PowerSetFn and UnaryFunction
(rangeSubclass PowerSetFn SetOrClass) Merge.kif 763-763 rangeSubclass PowerSetFn and SetOrClass

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 46973-46973
(termFormat ChineseTraditionalLanguage PowerSetFn "電源組") domainEnglishFormat.kif 46972-46972
(termFormat EnglishLanguage PowerSetFn "power set") domainEnglishFormat.kif 46971-46971


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