areaOfOperation |
appearance as argument number 1 |
(documentation areaOfOperation EnglishLanguage "An operational area defined by the joint force commander for land and naval forces. Areas of operation do not typically encompass the entire operational area of the joint force commander, but should be large enough for component commanders to accomplish their missions and protect their forces. Also called AO. See also area of responsibility, joint operations area, joint special operations area.") | MilitaryProcesses.kif 1316-1322 | |
(domain areaOfOperation 1 Region) | MilitaryProcesses.kif 1314-1314 | Die Zahl 1 Argument von areaOfOperation ist ein fall von Region %n{nicht} |
(domain areaOfOperation 2 MilitaryOperation) | MilitaryProcesses.kif 1315-1315 | Die Zahl 2 Argument von areaOfOperation ist ein fall von MilitaryOperation %n{nicht} |
(instance areaOfOperation AsymmetricRelation) | MilitaryProcesses.kif 1312-1312 | areaOfOperation ist ein fall von AsymmetricRelation %n{nicht} |
(instance areaOfOperation BinaryPredicate) | MilitaryProcesses.kif 1311-1311 | areaOfOperation ist ein fall von BinaryPredicate %n{nicht} |
(instance areaOfOperation PartialValuedRelation) | MilitaryProcesses.kif 1313-1313 | areaOfOperation ist ein fall von PartialValuedRelation %n{nicht} |
appearance as argument number 2 |
(format EnglishLanguage areaOfOperation "%1 is %n the operational area for %2") | MilitaryProcesses.kif 2711-2711 | |
(termFormat ChineseLanguage areaOfOperation "经营范围") | domainEnglishFormat.kif 8292-8292 | |
(termFormat ChineseTraditionalLanguage areaOfOperation "經營範圍") | domainEnglishFormat.kif 8291-8291 | |
(termFormat EnglishLanguage areaOfOperation "area of operation") | domainEnglishFormat.kif 8290-8290 |
consequent |
(=> (and (instance ?OP MilitaryOperation) (eventLocated ?OP ?REGION) (instance ?REGION Region)) (areaOfOperation ?REGION ?OP)) |
MilitaryProcesses.kif 1326-1331 |
|