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
(instance PowerSetFn TotalValuedRelation) Merge.kif 796-796
(instance PowerSetFn UnaryFunction) Merge.kif 795-795
(rangeSubclass PowerSetFn SetOrClass) Merge.kif 798-798

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 47066-47066
(termFormat ChineseTraditionalLanguage PowerSetFn "電源組") domainEnglishFormat.kif 47065-47065
(termFormat EnglishLanguage PowerSetFn "power set") domainEnglishFormat.kif 47064-47064

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