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 5433-5435
(
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 5429-5429
域
聯盟
, 1 and
SetOrClass
(
domain
UnionFn
2
SetOrClass
)
Merge.kif 5430-5430
域
聯盟
, 2 and
SetOrClass
(
instance
UnionFn
BinaryFunction
)
Merge.kif 5427-5427
例
聯盟
and
BinaryFunction
(
instance
UnionFn
TotalValuedRelation
)
Merge.kif 5428-5428
例
聯盟
and
TotalValuedRelation
(
range
UnionFn
SetOrClass
)
Merge.kif 5431-5431
範圍
聯盟
and
SetOrClass
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 60002-60002
(
termFormat
ChineseTraditionalLanguage
UnionFn
"聯盟")
domainEnglishFormat.kif 60001-60001
(
termFormat
EnglishLanguage
UnionFn
"union")
domainEnglishFormat.kif 60000-60000
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
LengthMeasure
是
GeographicArea
的未分類規格軌道
length
length
卡帕
SymbolicString
and
位於
SymbolicString
and
GeographicArea
例
SymbolicString
and
聯盟
標準軌距鐵路
and
聯盟
寬軌鐵路
and
聯盟
DualGaugeRailway
and
窄軌鐵路
and
LengthMeasure
(=>
(
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
例
Process
and
恢復運作
患者
Process
and
Entity
有目的
Process
and
entity
患者
entity
and
Entity
例
entity
and
聯盟
Classifying
and
聯盟
Pursuing
and
聯盟
發現
and
聯盟
定位
and
返回
(=>
(
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
例
Process
and
Shooting
儀器
Process
and
Object
例
Object
and
火砲
Object
儀器
Process
and
Object
例
Object
and
聯盟
導彈
and
手榴彈
statement
(
commandRankOfEchelon
CompanyMilitary
(
UnionFn
USMilitaryRankO3
USMilitaryRankO4
))
Military.kif 742-743
聯盟
美國軍銜o3
and
美國軍銜o4
是
公司- 軍事
的
command
梯隊等級
(
domain
CardinalityFn
1
(
UnionFn
SetOrClass
Collection
))
Merge.kif 5508-5508
域
基數
, 1 and
聯盟
SetOrClass
and
Collection
(
udaCanSignify
(
UnionFn
(
PressingKeyFn
TabKey
)
ShiftKeyHoldDown
)
SelectingActiveArea
)
ComputerInput.kif 2309-2310
聯盟
pressing
TabKey
鍵 and
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