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
策略
は
意図的なプロセス
の
subclass
では %n
(
subclass
BaseballManeuver
Maneuver
)
Sports.kif 684-684
BaseballManeuver
は
策略
の
subclass
では %n
(
subclass
BaseballInning
Maneuver
)
Sports.kif 757-757
BaseballInning
は
策略
の
subclass
では %n
(
subclass
FootballManeuver
Maneuver
)
Sports.kif 815-815
FootballManeuver
は
策略
の
subclass
では %n
(
subclass
GolfManeuver
Maneuver
)
Sports.kif 938-938
GolfManeuver
は
策略
の
subclass
では %n
(
subclass
DirectActionActivity
Maneuver
)
MilitaryProcesses.kif 390-390
DirectActionActivity
は
策略
の
subclass
では %n
(
subclass
GameShot
Maneuver
)
Mid-level-ontology.kif 17020-17020
GameShot
は
策略
の
subclass
では %n
(
subclass
Catching
Maneuver
)
Mid-level-ontology.kif 17102-17102
Catching
は
策略
の
subclass
では %n
(
subclass
Ambush
Maneuver
)
Mid-level-ontology.kif 21751-21751
Ambush
は
策略
の
subclass
では %n
(
subclass
Blockade
Maneuver
)
Mid-level-ontology.kif 21771-21771
Blockade
は
策略
の
subclass
では %n
(
subclass
MilitaryManeuver
Maneuver
)
Mid-level-ontology.kif 21797-21797
MilitaryManeuver
は
策略
の
subclass
では %n
(
subclass
Attack
Maneuver
)
Merge.kif 13398-13398
Attack
は
策略
の
subclass
では %n
(
subclass
DefensiveManeuver
Maneuver
)
Merge.kif 13420-13420
DefensiveManeuver
は
策略
の
subclass
では %n
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