MilitaryOperation |
appearance as argument number 1 |
(documentation MilitaryOperation EnglishLanguage "A MilitaryOperation is distinguished from the broader class of MilitaryProcess in that it is planned in advance.") | Military.kif 19-21 | |
(subclass MilitaryOperation MilitaryProcess) | Military.kif 23-23 | MilitaryOperation est une sous-classe de processus militaire |
appearance as argument number 2 |
appearance as argument number 3 |
(domain AbortedMissionFn 2 MilitaryOperation) | MilitaryProcesses.kif 2431-2431 | Le nombre 2 argument de AbortedMissionFn est une instance de MilitaryOperation |
(domain areaOfOperation 2 MilitaryOperation) | MilitaryProcesses.kif 1315-1315 | Le nombre 2 argument de areaOfOperation est une instance de MilitaryOperation |
antecedent |
consequent |