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
子類
Motion
and
Process
(
subclass
Trip
Motion
)
Transportation.kif 3004-3004
子類
旅
and
Motion
(
subclass
Stretching
Motion
)
Mid-level-ontology.kif 17132-17132
子類
拉伸
and
Motion
(
subclass
Rotating
Motion
)
Mid-level-ontology.kif 17440-17440
子類
旋轉
and
Motion
(
subclass
Reversing
Motion
)
Mid-level-ontology.kif 17512-17512
子類
逆
and
Motion
(
subclass
Pulling
Motion
)
Mid-level-ontology.kif 17606-17606
子類
拉
and
Motion
(
subclass
Pushing
Motion
)
Mid-level-ontology.kif 17612-17612
子類
Pushing
and
Motion
(
subclass
Opening
Motion
)
Mid-level-ontology.kif 21518-21518
子類
開盤
and
Motion
(
subclass
Closing
Motion
)
Mid-level-ontology.kif 21525-21525
子類
關閉
and
Motion
(
subclass
MotionUpward
Motion
)
Merge.kif 11081-11081
子類
向上運動
and
Motion
(
subclass
MotionDownward
Motion
)
Merge.kif 11087-11087
子類
向下運動
and
Motion
(
subclass
BodyMotion
Motion
)
Merge.kif 11116-11116
子類
BodyMotion
and
Motion
(
subclass
GeologicalProcess
Motion
)
Merge.kif 11211-11211
子類
地質過程
and
Motion
(
subclass
WeatherProcess
Motion
)
Merge.kif 11219-11219
子類
天氣過程
and
Motion
(
subclass
LiquidMotion
Motion
)
Merge.kif 11242-11242
子類
液體運動
and
Motion
(
subclass
GasMotion
Motion
)
Merge.kif 11266-11266
子類
氣體運動
and
Motion
(
subclass
DirectionChange
Motion
)
Merge.kif 11296-11296
子類
DirectionChange
and
Motion
(
subclass
Translocation
Motion
)
Merge.kif 11571-11571
子類
易位
and
Motion
(
subclass
Radiating
Motion
)
Merge.kif 13667-13667
子類
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 1988-1988
子類
Compressing
and
Motion
(
subclass
EngineCranking
Motion
)
Cars.kif 2214-2214
子類
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