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 | DirectActionActivity est une sous-classe de manoeuvre |
(subclass DirectActionActivity MilitaryOperation) | MilitaryProcesses.kif 388-388 | DirectActionActivity est une sous-classe de MilitaryOperation |
(subclass DirectActionActivity ViolentContest) | MilitaryProcesses.kif 389-389 | DirectActionActivity est une sous-classe de affrontement violent |
appearance as argument number 2 |
antecedent |
(=> (instance ?ACT DirectActionActivity) (exists (?DA) (and (instance ?DA DirectAction) (subProcess ?ACT ?DA)))) |
MilitaryProcesses.kif 393-398 |
|