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
UnionFn
Sigma KEE - UnionFn
UnionFn
appearance as argument number 1
(
documentation
UnionFn
ChineseLanguage
"这是一个
BinaryFunction
,它把两个
SetOrClass
和 这两个
SetOrClass
的并集联系起来。一个物体是这两个
SetOrClass
的并集的一个
element
,以防它是 两个
SetOrClass
其中之一的一个
instance
。")
chinese_format.kif 2291-2293
(
documentation
UnionFn
EnglishLanguage
"A
BinaryFunction
that maps two
SetOrClass
es to the union of these
SetOrClass
es. An object is an
element
of the union of two
SetOrClass
es just in case it is an
instance
of either
SetOrClass
.")
Merge.kif 5434-5436
(
documentation
UnionFn
JapaneseLanguage
"
BinaryFunction
は、これらの
SetOrClass
の結合に 2つの
SetOrClass
es をマップする 。 オブジェクトは、どちらかの
SetOrClass
e の
instance
である場合に備えて、2つの
SetOrClass
の結合の
element
である。")
japanese_format.kif 960-962
(
domain
UnionFn
1
SetOrClass
)
Merge.kif 5430-5430
结合函数
的 1 数量 是
集或类
的
instance
(
domain
UnionFn
2
SetOrClass
)
Merge.kif 5431-5431
结合函数
的 2 数量 是
集或类
的
instance
(
instance
UnionFn
BinaryFunction
)
Merge.kif 5428-5428
结合函数
是
二元函数
的
instance
(
instance
UnionFn
TotalValuedRelation
)
Merge.kif 5429-5429
结合函数
是
总值关系
的
instance
(
range
UnionFn
SetOrClass
)
Merge.kif 5432-5432
结合函数
的
range
是
集或类
的实例
appearance as argument number 2
(
format
ChineseLanguage
UnionFn
"结合 %1 和 %2")
chinese_format.kif 494-494
(
format
EnglishLanguage
UnionFn
"the union of %1 and %2")
english_format.kif 499-499
(
format
FrenchLanguage
UnionFn
"l' union de %1 et %2")
french_format.kif 290-290
(
format
ItalianLanguage
UnionFn
"l' unione di %1 e %2")
relations-it.txt 306-306
(
format
JapaneseLanguage
UnionFn
"%1 と %2 の union")
japanese_format.kif 2067-2067
(
format
PortugueseLanguage
UnionFn
"a uniao de %1 e %2")
portuguese_format.kif 242-242
(
format
de
UnionFn
"die vereinigung von %1 und %2")
relations-de.txt 641-641
(
format
hi
UnionFn
"%1 aura %2 kaa sanyojana")
relations-hindi.txt 342-342
(
format
ro
UnionFn
"union%t{reuniunea} lui %1 ºi %2")
relations-ro.kif 311-311
(
format
sv
UnionFn
"unionen av %1 och %2")
relations-sv.txt 318-318
(
format
tg
UnionFn
"ang pagkakaisa ng %1 at %2")
relations-tg.txt 498-498
(
termFormat
ChineseLanguage
UnionFn
"结合函数")
chinese_format.kif 495-495
(
termFormat
ChineseLanguage
UnionFn
"联盟")
domainEnglishFormat.kif 60004-60004
(
termFormat
ChineseTraditionalLanguage
UnionFn
"聯盟")
domainEnglishFormat.kif 60003-60003
(
termFormat
EnglishLanguage
UnionFn
"union")
domainEnglishFormat.kif 60002-60002
consequent
(<=>
(
lengthOfUnclassifiedGaugeRailway
?AREA ?LENGTH)
(
length
(
KappaFn
?RAILWAYS
(
and
(
located
?RAILWAYS ?AREA)
(
not
(
instance
?RAILWAYS
(
UnionFn
StandardGaugeRailway
(
UnionFn
BroadGaugeRailway
(
UnionFn
DualGaugeRailway
NarrowGaugeRailway
))))))) ?LENGTH))
Transportation.kif 294-306
长度测量
是
地理区域
的未分类规格轨道
length
若且唯若
符号串
所描述的类别 的
length
是
那个 长度测量
(=>
(
and
(
instance
?RO
RecoveryOperation
)
(
patient
?RO ?TARGET))
(
hasPurpose
?RO
(
exists
(?PROCESS)
(
and
(
patient
?PROCESS ?TARGET)
(
instance
?PROCESS
(
UnionFn
Classifying
(
UnionFn
Pursuing
(
UnionFn
Discovering
(
UnionFn
Locating
Returning
)))))))))
MilitaryProcesses.kif 558-570
如果
过程
是
恢复运作
的
instance
和
实体
是
那个 过程
的
patient
,
然后
那个 过程
的 目的 是 有存在
另一个 实体
这样
那个 实体
是
那个 另外 实体
的
patient
和
那个 另外 实体
是 结合
分类
和 结合
追求
和 结合
发现
和 结合
定位
和
返回
的
instance
(=>
(
and
(
instance
?SHOOTING
Shooting
)
(
instrument
?SHOOTING ?AC)
(
instance
?AC
ArtilleryCannon
))
(
exists
(?PROJ)
(
and
(
instrument
?SHOOTING ?PROJ)
(
instance
?PROJ
(
UnionFn
Missile
Grenade
)))))
MilitaryDevices.kif 179-188
如果
过程
是
射击
的
instance
和
客体
是导致
那个 过程
的
instrument
和
那个 客体
是
火炮
的
instance
,
然后 有存在
另一个 客体
这样
那个 另外 客体
是导致
那个 过程
的
instrument
和
那个 另外 客体
是 结合
导弹
和
手榴弹
的
instance
statement
(
commandRankOfEchelon
CompanyMilitary
(
UnionFn
USMilitaryRankO3
USMilitaryRankO4
))
Military.kif 742-743
结合
美国军衔o3
和
美国军衔o4
是
公司- 军事
的
command
梯队等级
(
domain
CardinalityFn
1
(
UnionFn
SetOrClass
Collection
))
Merge.kif 5509-5509
势函数
的 1 数量 是 结合
集或类
和
群体
的
instance
(
udaCanSignify
(
UnionFn
(
PressingKeyFn
TabKey
)
ShiftKeyHoldDown
)
SelectingActiveArea
)
ComputerInput.kif 2309-2310
结合
pressing
TabKey
鍵 和
ShiftKeyHoldDown
isgnifies
SelectingActiveArea
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