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
is a
subclass
of
intentional process
(
subclass
BaseballManeuver
Maneuver
)
Sports.kif 684-684
Baseball maneuver
is a
subclass
of
maneuver
(
subclass
BaseballInning
Maneuver
)
Sports.kif 757-757
Baseball inning
is a
subclass
of
maneuver
(
subclass
FootballManeuver
Maneuver
)
Sports.kif 815-815
Football maneuver
is a
subclass
of
maneuver
(
subclass
GolfManeuver
Maneuver
)
Sports.kif 938-938
Golf maneuver
is a
subclass
of
maneuver
(
subclass
DirectActionActivity
Maneuver
)
MilitaryProcesses.kif 390-390
Direct action activity
is a
subclass
of
maneuver
(
subclass
GameShot
Maneuver
)
Mid-level-ontology.kif 17020-17020
Game shot
is a
subclass
of
maneuver
(
subclass
Catching
Maneuver
)
Mid-level-ontology.kif 17102-17102
Catching
is a
subclass
of
maneuver
(
subclass
Ambush
Maneuver
)
Mid-level-ontology.kif 21751-21751
Ambush
is a
subclass
of
maneuver
(
subclass
Blockade
Maneuver
)
Mid-level-ontology.kif 21771-21771
Blockade
is a
subclass
of
maneuver
(
subclass
MilitaryManeuver
Maneuver
)
Mid-level-ontology.kif 21797-21797
Military maneuver
is a
subclass
of
maneuver
(
subclass
Attack
Maneuver
)
Merge.kif 13398-13398
Attack
is a
subclass
of
maneuver
(
subclass
DefensiveManeuver
Maneuver
)
Merge.kif 13420-13420
Defensive maneuver
is a
subclass
of
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
