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 |
antecedent |
(=> (instance ?ACT DirectActionActivity) (exists (?DA) (and (instance ?DA DirectAction) (subProcess ?ACT ?DA)))) |
MilitaryProcesses.kif 393-398 |
|