Term Intersection
: 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
Term 1:
Term 2:
(
subclass
Motion
Process
)
Merge.kif 11013-11013
子類
Motion
and
Process
(
subclass
Trip
Motion
)
Transportation.kif 3004-3004
子類
旅
and
Motion
(
subclass
Stretching
Motion
)
Mid-level-ontology.kif 17133-17133
子類
拉伸
and
Motion
(
subclass
Rotating
Motion
)
Mid-level-ontology.kif 17441-17441
子類
旋轉
and
Motion
(
subclass
Reversing
Motion
)
Mid-level-ontology.kif 17513-17513
子類
逆
and
Motion
(
subclass
Pulling
Motion
)
Mid-level-ontology.kif 17607-17607
子類
拉
and
Motion
(
subclass
Pushing
Motion
)
Mid-level-ontology.kif 17613-17613
子類
Pushing
and
Motion
(
subclass
Opening
Motion
)
Mid-level-ontology.kif 21519-21519
子類
開盤
and
Motion
(
subclass
Closing
Motion
)
Mid-level-ontology.kif 21526-21526
子類
關閉
and
Motion
(
subclass
MotionUpward
Motion
)
Merge.kif 11059-11059
子類
向上運動
and
Motion
(
subclass
MotionDownward
Motion
)
Merge.kif 11065-11065
子類
向下運動
and
Motion
(
subclass
BodyMotion
Motion
)
Merge.kif 11094-11094
子類
BodyMotion
and
Motion
(
subclass
GeologicalProcess
Motion
)
Merge.kif 11189-11189
子類
地質過程
and
Motion
(
subclass
WeatherProcess
Motion
)
Merge.kif 11197-11197
子類
天氣過程
and
Motion
(
subclass
LiquidMotion
Motion
)
Merge.kif 11220-11220
子類
液體運動
and
Motion
(
subclass
GasMotion
Motion
)
Merge.kif 11244-11244
子類
氣體運動
and
Motion
(
subclass
DirectionChange
Motion
)
Merge.kif 11274-11274
子類
DirectionChange
and
Motion
(
subclass
Translocation
Motion
)
Merge.kif 11549-11549
子類
易位
and
Motion
(
subclass
Radiating
Motion
)
Merge.kif 13645-13645
子類
Radiating
and
Motion
(
subclass
Irrigating
Motion
)
Geography.kif 5706-5706
子類
灌溉
and
Motion
(
subclass
Swarming
Motion
)
Geography.kif 6795-6795
子類
蜂擁
and
Motion
(
subclass
EngineCycle
Motion
)
Cars.kif 80-80
子類
EngineCycle
and
Motion
(
subclass
FourStrokeIntake
Motion
)
Cars.kif 166-166
子類
FourStrokeIntake
and
Motion
(
subclass
FourStrokeCompression
Motion
)
Cars.kif 186-186
子類
FourStrokeCompression
and
Motion
(
subclass
FourStrokeCombustion
Motion
)
Cars.kif 202-202
子類
FourStrokeCombustion
and
Motion
(
subclass
FourStrokeExhaust
Motion
)
Cars.kif 219-219
子類
FourStrokeExhaust
and
Motion
(
subclass
TwoStrokeIntake
Motion
)
Cars.kif 457-457
子類
TwoStrokeIntake
and
Motion
(
subclass
TwoStrokeCompression
Motion
)
Cars.kif 485-485
子類
TwoStrokeCompression
and
Motion
(
subclass
TwoStrokeTransfer
Motion
)
Cars.kif 502-502
子類
TwoStrokeTransfer
and
Motion
(
subclass
Compressing
Motion
)
Cars.kif 1982-1982
子類
Compressing
and
Motion
(
subclass
EngineCranking
Motion
)
Cars.kif 2208-2208
子類
EngineCranking
and
Motion
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