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
Le nombre 1 argument de
UnionFn
est une
instance
de
ensemble ou classe
(
domain
UnionFn
2
SetOrClass
)
Merge.kif 5430-5430
Le nombre 2 argument de
UnionFn
est une
instance
de
ensemble ou classe
(
instance
UnionFn
BinaryFunction
)
Merge.kif 5427-5427
UnionFn
est une
instance
de
fonction binaire
(
instance
UnionFn
TotalValuedRelation
)
Merge.kif 5428-5428
UnionFn
est une
instance
de
relation total
(
range
UnionFn
SetOrClass
)
Merge.kif 5431-5431
Le
domaine
de
UnionFn
est une instance de
ensemble ou classe
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
lengthOfUnclassifiedGaugeRailway
secteur g�ographique
and
mesure de longueur
le
longueur
de la
classe
d�crite par
cha�ne sympbolique
est
mesure de longueur
(=>
(
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
Processus
est une
instance
de
RecoveryOperation
entit�
est un
patient
de
processus
processus
a pour
but
entit�
entit�
est un
patient
de
entit�
entit�
est une
instance
de l'
union
de
classifier
et l'
union
de
pursuivre
et l'
union
de
Discovering
et l'
union
de
Locating
et
Returning
(=>
(
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
Processus
est une
instance
de
tirer
objet
est un
instrument
pour
processus
objet
est une
instance
de
ArtilleryCannon
objet
objet
est un
instrument
pour
processus
objet
est une
instance
de l'
union
de
Missile
et
Grenade
statement
(
commandRankOfEchelon
CompanyMilitary
(
UnionFn
USMilitaryRankO3
USMilitaryRankO4
))
Military.kif 742-743
commandRankOfEchelon
CompanyMilitary
and l'
union
de
USMilitaryRankO3
et
USMilitaryRankO4
(
domain
CardinalityFn
1
(
UnionFn
SetOrClass
Collection
))
Merge.kif 5508-5508
Le nombre 1 argument de
CardinalityFn
est une
instance
de l'
union
de
ensemble ou classe
et
collection
(
udaCanSignify
(
UnionFn
(
PressingKeyFn
TabKey
)
ShiftKeyHoldDown
)
SelectingActiveArea
)
ComputerInput.kif 2309-2310
udaCanSignify
l'
union
de
PressingKeyFn
TabKey
et
ShiftKeyHoldDown
and
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