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
Maneuver
IntentionalProcess
)
Merge.kif 13385-13385
子類
Maneuver
and
IntentionalProcess
(
subclass
BaseballManeuver
Maneuver
)
Sports.kif 684-684
子類
棒球演練
and
Maneuver
(
subclass
BaseballInning
Maneuver
)
Sports.kif 757-757
子類
棒球局
and
Maneuver
(
subclass
FootballManeuver
Maneuver
)
Sports.kif 815-815
子類
足球演練
and
Maneuver
(
subclass
GolfManeuver
Maneuver
)
Sports.kif 938-938
子類
高爾夫演習
and
Maneuver
(
subclass
DirectActionActivity
Maneuver
)
MilitaryProcesses.kif 390-390
子類
直接行動活動
and
Maneuver
(
subclass
GameShot
Maneuver
)
Mid-level-ontology.kif 17020-17020
子類
遊戲鏡頭
and
Maneuver
(
subclass
Catching
Maneuver
)
Mid-level-ontology.kif 17102-17102
子類
捕
and
Maneuver
(
subclass
Ambush
Maneuver
)
Mid-level-ontology.kif 21751-21751
子類
伏擊
and
Maneuver
(
subclass
Blockade
Maneuver
)
Mid-level-ontology.kif 21771-21771
子類
封鎖
and
Maneuver
(
subclass
MilitaryManeuver
Maneuver
)
Mid-level-ontology.kif 21797-21797
子類
軍事演習
and
Maneuver
(
subclass
Attack
Maneuver
)
Merge.kif 13398-13398
子類
攻擊
and
Maneuver
(
subclass
DefensiveManeuver
Maneuver
)
Merge.kif 13420-13420
子類
防守機動
and
Maneuver
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