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	子類直接行動活動 and Maneuver
(subclass DirectActionActivity MilitaryOperation)	MilitaryProcesses.kif 388-388	子類直接行動活動 and 軍事行動
(subclass DirectActionActivity ViolentContest)	MilitaryProcesses.kif 389-389	子類直接行動活動 and ViolentContest

appearance as argument number 2

(subclass AntiSurfaceOperation DirectActionActivity)	MilitaryProcesses.kif 656-656	子類防表面操作 and 直接行動活動
(subclass DirectAmbush DirectActionActivity)	MilitaryProcesses.kif 410-410	子類直接埋伏 and 直接行動活動
(subclass DirectAssault DirectActionActivity)	MilitaryProcesses.kif 426-426	子類直接攻擊 and 直接行動活動
(subclass PreciseDestruction DirectActionActivity)	MilitaryProcesses.kif 589-589	子類精確破壞 and 直接行動活動
(subclass Raid DirectActionActivity)	MilitaryProcesses.kif 400-400	子類襲擊 and 直接行動活動
(subclass RecoveryOperation DirectActionActivity)	MilitaryProcesses.kif 549-549	子類恢復運作 and 直接行動活動
(subclass StandoffAttack DirectActionActivity)	MilitaryProcesses.kif 436-436	子類對峙的攻擊 and 直接行動活動
(subclass TerminalAttackControl DirectActionActivity)	MilitaryProcesses.kif 448-448	子類終端攻擊控制 and 直接行動活動
(subclass TerminalGuidance DirectActionActivity)	MilitaryProcesses.kif 500-500	子類終端指導 and 直接行動活動
(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