Term Intersection : Welcome guest : log in		 [  Home |  Graph |  ]  KB:  Language:   

Formal Language: 



Term 1: Term 2:

(subclass DirectActionActivity MilitaryOperation) MilitaryProcesses.kif 388-388 DirectActionActivity は MilitaryOperation の subclass では %n
(subclass DirectActionActivity ViolentContest) MilitaryProcesses.kif 389-389 DirectActionActivity は 激しいコンテスト の subclass では %n
(subclass DirectActionActivity Maneuver) MilitaryProcesses.kif 390-390 DirectActionActivity は 策略 の subclass では %n
(subclass Raid DirectActionActivity) MilitaryProcesses.kif 400-400 Raid は DirectActionActivity の subclass では %n
(subclass DirectAmbush DirectActionActivity) MilitaryProcesses.kif 410-410 DirectAmbush は DirectActionActivity の subclass では %n
(subclass DirectAssault DirectActionActivity) MilitaryProcesses.kif 426-426 DirectAssault は DirectActionActivity の subclass では %n
(subclass StandoffAttack DirectActionActivity) MilitaryProcesses.kif 436-436 StandoffAttack は DirectActionActivity の subclass では %n
(subclass TerminalAttackControl DirectActionActivity) MilitaryProcesses.kif 448-448 TerminalAttackControl は DirectActionActivity の subclass では %n
(subclass TerminalGuidance DirectActionActivity) MilitaryProcesses.kif 500-500 TerminalGuidance は DirectActionActivity の subclass では %n
(subclass RecoveryOperation DirectActionActivity) MilitaryProcesses.kif 549-549 RecoveryOperation は DirectActionActivity の subclass では %n
(subclass PreciseDestruction DirectActionActivity) MilitaryProcesses.kif 589-589 PreciseDestruction は DirectActionActivity の subclass では %n
(subclass AntiSurfaceOperation DirectActionActivity) MilitaryProcesses.kif 656-656 AntiSurfaceOperation は DirectActionActivity の 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