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
Il numero 1 argomenti di
UnionFn
è un
istanza
di
InsiemeOClasse
(
domain
UnionFn
2
SetOrClass
)
Merge.kif 5431-5431
Il numero 2 argomenti di
UnionFn
è un
istanza
di
InsiemeOClasse
(
instance
UnionFn
BinaryFunction
)
Merge.kif 5428-5428
UnionFn
è un'
istanza
di
FunzioneBinaria
(
instance
UnionFn
TotalValuedRelation
)
Merge.kif 5429-5429
UnionFn
è un'
istanza
di
RelazioneAValoreTotale
(
range
UnionFn
SetOrClass
)
Merge.kif 5432-5432
rango
di
UnionFn
è un'istanza di
InsiemeOClasse
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
lengthOfUnclassifiedGaugeRailway
AreaGeografica
and
MisuraDiLunghezza
la
lunghezza
di la
classe
descritta da
Stringa
è
MisuraDiLunghezza
(=>
(
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
Processo
è un'
istanza
di
RecoveryOperation
Entit�
è un
paziente
di
Processo
Processo
ha
scopo
Entit�
Entit�
è un
paziente
di
Entit�
Entit�
è un'
istanza
di l'
unione
di
Classificare
e l'
unione
di
Cercare
e l'
unione
di
Discovering
e l'
unione
di
Locating
e
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
Processo
è un'
istanza
di
Sparare
Oggetto
è uno
strumento
per
Processo
Oggetto
è un'
istanza
di
ArtilleryCannon
Oggetto
Oggetto
è uno
strumento
per
Processo
Oggetto
è un'
istanza
di l'
unione
di
Missile
e
Grenade
statement
(
commandRankOfEchelon
CompanyMilitary
(
UnionFn
USMilitaryRankO3
USMilitaryRankO4
))
Military.kif 742-743
commandRankOfEchelon
CompanyMilitary
and l'
unione
di
USMilitaryRankO3
e
USMilitaryRankO4
(
domain
CardinalityFn
1
(
UnionFn
SetOrClass
Collection
))
Merge.kif 5509-5509
Il numero 1 argomenti di
CardinalityFn
è un
istanza
di l'
unione
di
InsiemeOClasse
e
InsiemeConcreto
(
udaCanSignify
(
UnionFn
(
PressingKeyFn
TabKey
)
ShiftKeyHoldDown
)
SelectingActiveArea
)
ComputerInput.kif 2309-2310
udaCanSignify
l'
unione
di
PressingKeyFn
TabKey
e
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