JointOperation |
appearance as argument number 1 |
(documentation JointOperation EnglishLanguage "A general term to describe military actions conducted by joint forces or by Service forces in relationships (e.g., support, coordinating authority) which, of themselves, do not create joint forces.") | MilitaryProcesses.kif 1718-1721 | |
(externalImage JointOperation "http://upload.wikimedia.org/wikipedia/commons/ 0/ 07/ Iraq_header_2.jpg") | pictureList.kif 5023-5023 | |
(externalImage JointOperation "http://upload.wikimedia.org/wikipedia/commons/ 3/ 35/ WarGulf_photobox.jpg") | pictureList.kif 4904-4904 | |
(subclass JointOperation Cooperation) | MilitaryProcesses.kif 1717-1717 | JointOperation e' uma sub-classe de Cooperacao |
(subclass JointOperation MilitaryOperation) | MilitaryProcesses.kif 1716-1716 | JointOperation e' uma sub-classe de MilitaryOperation |
appearance as argument number 2 |
(subclass CivilAffairsOperation JointOperation) | MilitaryProcesses.kif 2206-2206 | CivilAffairsOperation e' uma sub-classe de JointOperation |
(subclass CivilMilitaryOperation JointOperation) | MilitaryProcesses.kif 2268-2268 | CivilMilitaryOperation e' uma sub-classe de JointOperation |
(termFormat ChineseLanguage JointOperation "联合行动") | domainEnglishFormat.kif 31717-31717 | |
(termFormat ChineseTraditionalLanguage JointOperation "聯合行動") | domainEnglishFormat.kif 31716-31716 | |
(termFormat EnglishLanguage JointOperation "joint operation") | domainEnglishFormat.kif 31715-31715 |
consequent |
(=> (instance ?PLAN OPLAN) (exists (?OP) (and (represents ?PLAN ?OP) (instance ?OP JointOperation)))) |
MilitaryProcesses.kif 1821-1826 |