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 e' uma sub-classe de Processo Militar |
appearance as argument number 2 |
appearance as argument number 3 |
(domain AbortedMissionFn 2 MilitaryOperation) | MilitaryProcesses.kif 2431-2431 | O argumento numero 2 de AbortedMissionFn e' uma instancia de MilitaryOperation |
(domain areaOfOperation 2 MilitaryOperation) | MilitaryProcesses.kif 1315-1315 | O argumento numero 2 de areaOfOperation e' uma instancia de MilitaryOperation |
antecedent |
consequent |