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

Formal Language: 



Term 1: Term 2:

(subclass DirectActionActivity MilitaryOperation) MilitaryProcesses.kif 388-388 DirectActionActivity est une sous-classe de MilitaryOperation
(subclass DirectActionActivity ViolentContest) MilitaryProcesses.kif 389-389 DirectActionActivity est une sous-classe de affrontement violent
(subclass DirectActionActivity Maneuver) MilitaryProcesses.kif 390-390 DirectActionActivity est une sous-classe de manoeuvre
(subclass Raid DirectActionActivity) MilitaryProcesses.kif 400-400 Raid est une sous-classe de DirectActionActivity
(subclass DirectAmbush DirectActionActivity) MilitaryProcesses.kif 410-410 DirectAmbush est une sous-classe de DirectActionActivity
(subclass DirectAssault DirectActionActivity) MilitaryProcesses.kif 426-426 DirectAssault est une sous-classe de DirectActionActivity
(subclass StandoffAttack DirectActionActivity) MilitaryProcesses.kif 436-436 StandoffAttack est une sous-classe de DirectActionActivity
(subclass TerminalAttackControl DirectActionActivity) MilitaryProcesses.kif 448-448 TerminalAttackControl est une sous-classe de DirectActionActivity
(subclass TerminalGuidance DirectActionActivity) MilitaryProcesses.kif 500-500 TerminalGuidance est une sous-classe de DirectActionActivity
(subclass RecoveryOperation DirectActionActivity) MilitaryProcesses.kif 549-549 RecoveryOperation est une sous-classe de DirectActionActivity
(subclass PreciseDestruction DirectActionActivity) MilitaryProcesses.kif 589-589 PreciseDestruction est une sous-classe de DirectActionActivity
(subclass AntiSurfaceOperation DirectActionActivity) MilitaryProcesses.kif 656-656 AntiSurfaceOperation est une sous-classe de 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