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

Formal Language: 



Term 1: Term 2:

(subclass DirectActionActivity MilitaryOperation) MilitaryProcesses.kif 388-388 DirectActionActivity è una sottoclasse di MilitaryOperation
(subclass DirectActionActivity ViolentContest) MilitaryProcesses.kif 389-389 DirectActionActivity è una sottoclasse di CompetizioneViolenta
(subclass DirectActionActivity Maneuver) MilitaryProcesses.kif 390-390 DirectActionActivity è una sottoclasse di Stratagemma
(subclass Raid DirectActionActivity) MilitaryProcesses.kif 400-400 Raid è una sottoclasse di DirectActionActivity
(subclass DirectAmbush DirectActionActivity) MilitaryProcesses.kif 410-410 DirectAmbush è una sottoclasse di DirectActionActivity
(subclass DirectAssault DirectActionActivity) MilitaryProcesses.kif 426-426 DirectAssault è una sottoclasse di DirectActionActivity
(subclass StandoffAttack DirectActionActivity) MilitaryProcesses.kif 436-436 StandoffAttack è una sottoclasse di DirectActionActivity
(subclass TerminalAttackControl DirectActionActivity) MilitaryProcesses.kif 448-448 TerminalAttackControl è una sottoclasse di DirectActionActivity
(subclass TerminalGuidance DirectActionActivity) MilitaryProcesses.kif 500-500 TerminalGuidance è una sottoclasse di DirectActionActivity
(subclass RecoveryOperation DirectActionActivity) MilitaryProcesses.kif 549-549 RecoveryOperation è una sottoclasse di DirectActionActivity
(subclass PreciseDestruction DirectActionActivity) MilitaryProcesses.kif 589-589 PreciseDestruction è una sottoclasse di DirectActionActivity
(subclass AntiSurfaceOperation DirectActionActivity) MilitaryProcesses.kif 656-656 AntiSurfaceOperation è una sottoclasse di DirectActionActivity


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