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 11035-11035
运动
是
过程
的
subclass
(
subclass
Trip
Motion
)
Transportation.kif 3004-3004
旅
是
运动
的
subclass
(
subclass
Stretching
Motion
)
Mid-level-ontology.kif 17132-17132
拉伸
是
运动
的
subclass
(
subclass
Rotating
Motion
)
Mid-level-ontology.kif 17440-17440
旋转
是
运动
的
subclass
(
subclass
Reversing
Motion
)
Mid-level-ontology.kif 17512-17512
逆
是
运动
的
subclass
(
subclass
Pulling
Motion
)
Mid-level-ontology.kif 17606-17606
拉
是
运动
的
subclass
(
subclass
Pushing
Motion
)
Mid-level-ontology.kif 17612-17612
Pushing
是
运动
的
subclass
(
subclass
Opening
Motion
)
Mid-level-ontology.kif 21518-21518
开盘
是
运动
的
subclass
(
subclass
Closing
Motion
)
Mid-level-ontology.kif 21525-21525
关闭
是
运动
的
subclass
(
subclass
MotionUpward
Motion
)
Merge.kif 11081-11081
向上运动
是
运动
的
subclass
(
subclass
MotionDownward
Motion
)
Merge.kif 11087-11087
向下运动
是
运动
的
subclass
(
subclass
BodyMotion
Motion
)
Merge.kif 11116-11116
身体运动
是
运动
的
subclass
(
subclass
GeologicalProcess
Motion
)
Merge.kif 11211-11211
地质过程
是
运动
的
subclass
(
subclass
WeatherProcess
Motion
)
Merge.kif 11219-11219
天气过程
是
运动
的
subclass
(
subclass
LiquidMotion
Motion
)
Merge.kif 11242-11242
液体运动
是
运动
的
subclass
(
subclass
GasMotion
Motion
)
Merge.kif 11266-11266
气体运动
是
运动
的
subclass
(
subclass
DirectionChange
Motion
)
Merge.kif 11296-11296
方向改变
是
运动
的
subclass
(
subclass
Translocation
Motion
)
Merge.kif 11571-11571
易位
是
运动
的
subclass
(
subclass
Radiating
Motion
)
Merge.kif 13667-13667
辐射
是
运动
的
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 1988-1988
Compressing
是
运动
的
subclass
(
subclass
EngineCranking
Motion
)
Cars.kif 2214-2214
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