Browsing Interface : Welcome guest : log in		 [  Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - DirectActionActivity
DirectActionActivity(direct action activity)

appearance as argument number 1
-------------------------


(documentation DirectActionActivity EnglishLanguage "The class of subProcesses of a DirectAction.") MilitaryProcesses.kif 391-392
(subclass DirectActionActivity Maneuver) MilitaryProcesses.kif 390-390 Direct action activity is a subclass of maneuver
(subclass DirectActionActivity MilitaryOperation) MilitaryProcesses.kif 388-388 Direct action activity is a subclass of military operation
(subclass DirectActionActivity ViolentContest) MilitaryProcesses.kif 389-389 Direct action activity is a subclass of violent contest

appearance as argument number 2
-------------------------


(subclass AntiSurfaceOperation DirectActionActivity) MilitaryProcesses.kif 656-656 Anti surface operation is a subclass of direct action activity
(subclass DirectAmbush DirectActionActivity) MilitaryProcesses.kif 410-410 Direct ambush is a subclass of direct action activity
(subclass DirectAssault DirectActionActivity) MilitaryProcesses.kif 426-426 Direct assault is a subclass of direct action activity
(subclass PreciseDestruction DirectActionActivity) MilitaryProcesses.kif 589-589 Precise destruction is a subclass of direct action activity
(subclass Raid DirectActionActivity) MilitaryProcesses.kif 400-400 Raid is a subclass of direct action activity
(subclass RecoveryOperation DirectActionActivity) MilitaryProcesses.kif 549-549 Recovery operation is a subclass of direct action activity
(subclass StandoffAttack DirectActionActivity) MilitaryProcesses.kif 436-436 Standoff attack is a subclass of direct action activity
(subclass TerminalAttackControl DirectActionActivity) MilitaryProcesses.kif 448-448 Terminal attack control is a subclass of direct action activity
(subclass TerminalGuidance DirectActionActivity) MilitaryProcesses.kif 500-500 Terminal guidance is a subclass of direct action activity
(termFormat ChineseLanguage DirectActionActivity "直接行动活动") domainEnglishFormat.kif 19666-19666 Terminal guidance is a subclass of direct action activity
(termFormat ChineseTraditionalLanguage DirectActionActivity "直接行動活動") domainEnglishFormat.kif 19665-19665 Terminal guidance is a subclass of direct action activity
(termFormat EnglishLanguage DirectActionActivity "direct action activity") domainEnglishFormat.kif 19664-19664 Terminal guidance is a subclass of direct action activity

antecedent
-------------------------


(=>
    (instance ?ACT DirectActionActivity)
    (exists (?DA)
        (and
            (instance ?DA DirectAction)
            (subProcess ?ACT ?DA))))		 MilitaryProcesses.kif 393-398


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



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