Browsing Interface
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
HerbaceousPlant
Hindi
ItalianLanguage
JapaneseLanguage
PortugueseLanguage
SpanishLanguage
SwedishLanguage
WoodyPlant
cb
cz
de
hi
ro
sv
tg
Formal Language:
OWL
SUO-KIF
TPTP
traditionalLogic
KB Term:
Term intersection
English Word:
Any
Noun
Verb
Adjective
Adverb
PowerSetFn
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
subclass
es of ?CLASS.")
Merge.kif 800-801
(
documentation
PowerSetFn
JapaneseLanguage
"(
PowerSetFn
?CLASS) は、
SetOrClass
?CLASSを ?CLASSのすべての
subclass
es の
SetOrClass
へマップする。")
japanese_format.kif 116-117
(
documentation
PowerSetFn
SpanishLanguage
"(
PowerSetFn
?CLASS) mapea el
SetOrClass
?CLASS al
SetOrClass
de todas las
subclass
es 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
subclass
es 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 の 全ての
subclass
es")
japanese_format.kif 2014-2014
(
format
PortugueseLanguage
PowerSetFn
"todas sub-classes de %1")
portuguese_format.kif 150-150
(
format
cz
PowerSetFn
"all
subclass
es 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
subclass
es%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 47056-47056
(
termFormat
ChineseTraditionalLanguage
PowerSetFn
"電源組")
domainEnglishFormat.kif 47055-47055
(
termFormat
EnglishLanguage
PowerSetFn
"power set")
domainEnglishFormat.kif 47054-47054
Show simplified definition (without tree view)
Show simplified definition (with tree view)
Show without tree
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