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
运动
是
过程
的
subclass
(
subclass
Trip
Motion
)
Transportation.kif 3004-3004
旅
是
运动
的
subclass
(
subclass
Stretching
Motion
)
Mid-level-ontology.kif 17133-17133
拉伸
是
运动
的
subclass
(
subclass
Rotating
Motion
)
Mid-level-ontology.kif 17441-17441
旋转
是
运动
的
subclass
(
subclass
Reversing
Motion
)
Mid-level-ontology.kif 17513-17513
逆
是
运动
的
subclass
(
subclass
Pulling
Motion
)
Mid-level-ontology.kif 17607-17607
拉
是
运动
的
subclass
(
subclass
Pushing
Motion
)
Mid-level-ontology.kif 17613-17613
Pushing
是
运动
的
subclass
(
subclass
Opening
Motion
)
Mid-level-ontology.kif 21519-21519
开盘
是
运动
的
subclass
(
subclass
Closing
Motion
)
Mid-level-ontology.kif 21526-21526
关闭
是
运动
的
subclass
(
subclass
MotionUpward
Motion
)
Merge.kif 11059-11059
向上运动
是
运动
的
subclass
(
subclass
MotionDownward
Motion
)
Merge.kif 11065-11065
向下运动
是
运动
的
subclass
(
subclass
BodyMotion
Motion
)
Merge.kif 11094-11094
身体运动
是
运动
的
subclass
(
subclass
GeologicalProcess
Motion
)
Merge.kif 11189-11189
地质过程
是
运动
的
subclass
(
subclass
WeatherProcess
Motion
)
Merge.kif 11197-11197
天气过程
是
运动
的
subclass
(
subclass
LiquidMotion
Motion
)
Merge.kif 11220-11220
液体运动
是
运动
的
subclass
(
subclass
GasMotion
Motion
)
Merge.kif 11244-11244
气体运动
是
运动
的
subclass
(
subclass
DirectionChange
Motion
)
Merge.kif 11274-11274
方向改变
是
运动
的
subclass
(
subclass
Translocation
Motion
)
Merge.kif 11549-11549
易位
是
运动
的
subclass
(
subclass
Radiating
Motion
)
Merge.kif 13645-13645
辐射
是
运动
的
subclass
(
subclass
Irrigating
Motion
)
Geography.kif 5706-5706
灌溉
是
运动
的
subclass
(
subclass
Swarming
Motion
)
Geography.kif 6795-6795
蜂拥
是
运动
的
subclass
(
subclass
EngineCycle
Motion
)
Cars.kif 80-80
EngineCycle
是
运动
的
subclass
(
subclass
FourStrokeIntake
Motion
)
Cars.kif 166-166
FourStrokeIntake
是
运动
的
subclass
(
subclass
FourStrokeCompression
Motion
)
Cars.kif 186-186
FourStrokeCompression
是
运动
的
subclass
(
subclass
FourStrokeCombustion
Motion
)
Cars.kif 202-202
FourStrokeCombustion
是
运动
的
subclass
(
subclass
FourStrokeExhaust
Motion
)
Cars.kif 219-219
FourStrokeExhaust
是
运动
的
subclass
(
subclass
TwoStrokeIntake
Motion
)
Cars.kif 457-457
TwoStrokeIntake
是
运动
的
subclass
(
subclass
TwoStrokeCompression
Motion
)
Cars.kif 485-485
TwoStrokeCompression
是
运动
的
subclass
(
subclass
TwoStrokeTransfer
Motion
)
Cars.kif 502-502
TwoStrokeTransfer
是
运动
的
subclass
(
subclass
Compressing
Motion
)
Cars.kif 1982-1982
Compressing
是
运动
的
subclass
(
subclass
EngineCranking
Motion
)
Cars.kif 2208-2208
EngineCranking
是
运动
的
subclass
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