TreeView Knowledge Base Browser - DirectActionActivity

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	直接行动活动是竞争招数的 subclass
(subclass DirectActionActivity MilitaryOperation)	MilitaryProcesses.kif 388-388	直接行动活动是军事行动的 subclass
(subclass DirectActionActivity ViolentContest)	MilitaryProcesses.kif 389-389	直接行动活动是暴力比赛的 subclass

appearance as argument number 2

(subclass AntiSurfaceOperation DirectActionActivity)	MilitaryProcesses.kif 656-656	防表面操作是直接行动活动的 subclass
(subclass DirectAmbush DirectActionActivity)	MilitaryProcesses.kif 410-410	直接埋伏是直接行动活动的 subclass
(subclass DirectAssault DirectActionActivity)	MilitaryProcesses.kif 426-426	直接攻击是直接行动活动的 subclass
(subclass PreciseDestruction DirectActionActivity)	MilitaryProcesses.kif 589-589	精确破坏是直接行动活动的 subclass
(subclass Raid DirectActionActivity)	MilitaryProcesses.kif 400-400	袭击是直接行动活动的 subclass
(subclass RecoveryOperation DirectActionActivity)	MilitaryProcesses.kif 549-549	恢复运作是直接行动活动的 subclass
(subclass StandoffAttack DirectActionActivity)	MilitaryProcesses.kif 436-436	对峙的攻击是直接行动活动的 subclass
(subclass TerminalAttackControl DirectActionActivity)	MilitaryProcesses.kif 448-448	终端攻击控制是直接行动活动的 subclass
(subclass TerminalGuidance DirectActionActivity)	MilitaryProcesses.kif 500-500	终端指导是直接行动活动的 subclass
(termFormat ChineseLanguage DirectActionActivity "直接行动活动")	domainEnglishFormat.kif 19650-19650
(termFormat ChineseTraditionalLanguage DirectActionActivity "直接行動活動")	domainEnglishFormat.kif 19649-19649
(termFormat EnglishLanguage DirectActionActivity "direct action activity")	domainEnglishFormat.kif 19648-19648

antecedent

(=>
    (instance ?ACT DirectActionActivity)
    (exists (?DA)
        (and
            (instance ?DA DirectAction)
            (subProcess ?ACT ?DA))))

MilitaryProcesses.kif 393-398