(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 13161322 

(domain areaOfOperation 1 Region) 
MilitaryProcesses.kif 13141314 
The number 1 argument of area of operation is an instance of region 
(domain areaOfOperation 2 MilitaryOperation) 
MilitaryProcesses.kif 13151315 
The number 2 argument of area of operation is an instance of military operation 
(instance areaOfOperation AsymmetricRelation) 
MilitaryProcesses.kif 13121312 
area of operation is an instance of asymmetric relation 
(instance areaOfOperation BinaryPredicate) 
MilitaryProcesses.kif 13111311 
area of operation is an instance of binary predicate 
(instance areaOfOperation PartialValuedRelation) 
MilitaryProcesses.kif 13131313 
area of operation is an instance of partial valued relation 