MilitaryOperation(military operation) | ![]() | military_operation, operation |
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 | Military operation is a subclass of military process |
appearance as argument number 2 |
![]() |
appearance as argument number 3 |
![]() |
(domain AbortedMissionFn 2 MilitaryOperation) | MilitaryProcesses.kif 2430-2430 | The number 2 argument of aborted mission is an instance of military operation |
(domain areaOfOperation 2 MilitaryOperation) | MilitaryProcesses.kif 1315-1315 | The number 2 argument of area of operation is an instance of military operation |
antecedent |
![]() |
consequent |
![]() |
(=> (and (instance ?SHN SupportHNAssistance) (experiencer ?SHN ?HN) (instance ?HN HostNation)) (exists (?OP) (and (instance ?OP MilitaryOperation) (instance ?OP Helping) (experiencer ?OP ?HN) (patient ?SHN ?OP)))) |
MilitaryProcesses.kif 1293-1303 |
|
![]() |
![]() |