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
The number 1 argument of
union
is an
instance
of
set or class
(
domain
UnionFn
2
SetOrClass
)
Merge.kif 5430-5430
The number 2 argument of
union
is an
instance
of
set or class
(
instance
UnionFn
BinaryFunction
)
Merge.kif 5427-5427
Union
is an
instance
of
binary function
(
instance
UnionFn
TotalValuedRelation
)
Merge.kif 5428-5428
Union
is an
instance
of
total valued relation
(
range
UnionFn
SetOrClass
)
Merge.kif 5431-5431
The
range
of
union
is an instance of
set or class
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
A length measure
is a
length
of unclassified gauge railway of
a geographic area
if and only if the
length
of the
class
described by
a symbolic string
is
the length measure
(=>
(
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
If
a process
is an
instance
of
recovery operation
and
an entity
is a
patient
of
the process
,
then
the process
has the purpose there exists
another entity
such that
the entity
is a
patient
of
the other entity
and
the other entity
is an
instance
of the
union
of
classifying
and the
union
of
pursuing
and the
union
of
discovering
and the
union
of
locating
and
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
If
a process
is an
instance
of
shooting
and
an object
is an
instrument
for
the process
and
the object
is an
instance
of
artillery cannon
,
then there exists
another object
such that
the other object
is an
instrument
for
the process
and
the other object
is an
instance
of the
union
of
missile
and
grenade
statement
(
commandRankOfEchelon
CompanyMilitary
(
UnionFn
USMilitaryRankO3
USMilitaryRankO4
))
Military.kif 742-743
The
union
of
US military rank o3
and
US military rank o4
is a
command
rank of echelon of
company- military
(
domain
CardinalityFn
1
(
UnionFn
SetOrClass
Collection
))
Merge.kif 5508-5508
The number 1 argument of
cardinality
is an
instance
of the
union
of
set or class
and
collection
(
udaCanSignify
(
UnionFn
(
PressingKeyFn
TabKey
)
ShiftKeyHoldDown
)
SelectingActiveArea
)
ComputerInput.kif 2309-2310
The
union
of
pressing
the
tab key
key and
shift key hold down
isgnifies
selecting active area
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