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


KB Term:  Term intersection
English Word: 

Sigma KEE - DirectActionActivity
DirectActionActivity(direct action activity)

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


(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
(subclass DirectActionActivity Maneuver) MilitaryProcesses.kif 390-390 Direct action activity is a subclass of maneuver
(documentation DirectActionActivity EnglishLanguage "The class of subProcesses of a DirectAction.") MilitaryProcesses.kif 391-392 Direct action activity is a subclass of maneuver

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


(subclass Raid DirectActionActivity) MilitaryProcesses.kif 400-400 Raid 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 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 502-502 Terminal guidance is a subclass of direct action activity
(subclass RecoveryOperation DirectActionActivity) MilitaryProcesses.kif 552-552 Recovery operation is a subclass of direct action activity
(subclass PreciseDestruction DirectActionActivity) MilitaryProcesses.kif 611-611 Precise destruction is a subclass of direct action activity
(subclass AntiSurfaceOperation DirectActionActivity) MilitaryProcesses.kif 678-678 Anti surface operation is a subclass of direct action activity
(termFormat EnglishLanguage DirectActionActivity "direct action activity") domainEnglishFormat.kif 19650-19650 Anti surface operation is a subclass of direct action activity
(termFormat ChineseTraditionalLanguage DirectActionActivity "直接行動活動") domainEnglishFormat.kif 19651-19651 Anti surface operation is a subclass of direct action activity
(termFormat ChineseLanguage DirectActionActivity "直接行动活动") domainEnglishFormat.kif 19652-19652 Anti surface operation is a subclass of direct action activity

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


(=>
    (instance ?ACT DirectActionActivity)
    (exists (?DA)
        (and
            (instance ?DA DirectAction)
            (subProcess ?ACT ?DA))))		 MilitaryProcesses.kif 393-398 If X is an instance of direct action activity, then there exists Y such that Y is an instance of direct action and X is a subprocess of Y


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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners