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
GeneralizedUnionFn
Sigma KEE - GeneralizedUnionFn
GeneralizedUnionFn
appearance as argument number 1
(
documentation
GeneralizedUnionFn
ChineseLanguage
"这是一个
UnaryFunction
,它拿
Class
的 一个
SetOrClass
为它的单一参数,然后返回由原本
SetOrClass
的所有
Class
合并为一个
SetOrClass
,即是这个
SetOrClass
里的实例包括只属于原本
SetOrClass
的实例。")
chinese_format.kif 2303-2305
(
documentation
GeneralizedUnionFn
EnglishLanguage
"A
UnaryFunction
that takes a
SetOrClass
of
Class
es as its single argument and returns a
SetOrClass
which is the merge of all of the
Class
es in the original
SetOrClass
, i.e. the
SetOrClass
containing just those instances which are instances of an instance of the original
SetOrClass
.")
Merge.kif 5491-5495
(
documentation
GeneralizedUnionFn
JapaneseLanguage
"A
UnaryFunction
は、
Class
es の
Set
OrClas を単一の引数として受け取り、元の
SetOrClass
内のすべての
Class
のマージである
Class
es を返す。 すなわち、
SetOrClass
は、元の
SetOrClass
のインスタンスのインスタンスで あるインスタンスだけを含む。")
japanese_format.kif 972-975
(
domainSubclass
GeneralizedUnionFn
1
SetOrClass
)
Merge.kif 5488-5488
The number 1 argument of
generalized union
is a
subclass
of
set or class
(
instance
GeneralizedUnionFn
TotalValuedRelation
)
Merge.kif 5487-5487
Generalized union
is an
instance
of
total valued relation
(
instance
GeneralizedUnionFn
UnaryFunction
)
Merge.kif 5486-5486
Generalized union
is an
instance
of
unary function
(
range
GeneralizedUnionFn
SetOrClass
)
Merge.kif 5489-5489
The
range
of
generalized union
is an instance of
set or class
appearance as argument number 2
(
format
ChineseLanguage
GeneralizedUnionFn
"结合 %1 所有的
element
")
chinese_format.kif 502-502
(
format
EnglishLanguage
GeneralizedUnionFn
"the union of all the elements of %1")
english_format.kif 507-507
(
format
FrenchLanguage
GeneralizedUnionFn
"l' union de tous les �lements de %1")
french_format.kif 294-294
(
format
ItalianLanguage
GeneralizedUnionFn
"l' unione di tutti gli elementi di %1")
relations-it.txt 117-117
(
format
JapaneseLanguage
GeneralizedUnionFn
"%1 のすべての要素の union")
japanese_format.kif 2071-2071
(
format
PortugueseLanguage
GeneralizedUnionFn
"a uniao de todos os elementos de %1")
portuguese_format.kif 246-246
(
format
de
GeneralizedUnionFn
"die vereinigung aller Elementen von %1")
relations-de.txt 653-653
(
format
hi
GeneralizedUnionFn
"%1 ke sabhii ghaTakon kaa sammilana")
relations-hindi.txt 157-157
(
format
ro
GeneralizedUnionFn
"union%t{reuniunea} tuturor elementelor lui %1")
relations-ro.kif 315-315
(
format
sv
GeneralizedUnionFn
"unionen av alla element i %1")
relations-sv.txt 322-322
(
format
tg
GeneralizedUnionFn
"ang pangkat sa lahat ng kasapi sa %1")
relations-tg.txt 243-243
(
termFormat
ChineseLanguage
GeneralizedUnionFn
"一般化联盟")
domainEnglishFormat.kif 25704-25704
(
termFormat
ChineseLanguage
GeneralizedUnionFn
"概括结合函数")
chinese_format.kif 503-503
(
termFormat
ChineseTraditionalLanguage
GeneralizedUnionFn
"一般化聯盟")
domainEnglishFormat.kif 25703-25703
(
termFormat
EnglishLanguage
GeneralizedUnionFn
"generalized union")
domainEnglishFormat.kif 25702-25702
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