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 13407-13407
Maneuver
ist eine
teilkategorie
von
IntentionalProcess
(
subclass
BaseballManeuver
Maneuver
)
Sports.kif 684-684
BaseballManeuver
ist eine
teilkategorie
von
Maneuver
(
subclass
BaseballInning
Maneuver
)
Sports.kif 757-757
BaseballInning
ist eine
teilkategorie
von
Maneuver
(
subclass
FootballManeuver
Maneuver
)
Sports.kif 815-815
FootballManeuver
ist eine
teilkategorie
von
Maneuver
(
subclass
GolfManeuver
Maneuver
)
Sports.kif 938-938
GolfManeuver
ist eine
teilkategorie
von
Maneuver
(
subclass
DirectActionActivity
Maneuver
)
MilitaryProcesses.kif 390-390
DirectActionActivity
ist eine
teilkategorie
von
Maneuver
(
subclass
GameShot
Maneuver
)
Mid-level-ontology.kif 17019-17019
GameShot
ist eine
teilkategorie
von
Maneuver
(
subclass
Catching
Maneuver
)
Mid-level-ontology.kif 17101-17101
Catching
ist eine
teilkategorie
von
Maneuver
(
subclass
Ambush
Maneuver
)
Mid-level-ontology.kif 21750-21750
Ambush
ist eine
teilkategorie
von
Maneuver
(
subclass
Blockade
Maneuver
)
Mid-level-ontology.kif 21770-21770
Blockade
ist eine
teilkategorie
von
Maneuver
(
subclass
MilitaryManeuver
Maneuver
)
Mid-level-ontology.kif 21796-21796
MilitaryManeuver
ist eine
teilkategorie
von
Maneuver
(
subclass
Attack
Maneuver
)
Merge.kif 13420-13420
Attack
ist eine
teilkategorie
von
Maneuver
(
subclass
DefensiveManeuver
Maneuver
)
Merge.kif 13442-13442
DefensiveManeuver
ist eine
teilkategorie
von
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