TreeView Knowledge Base Browser

appearance as argument number 1

(instance areaOfOperation BinaryPredicate)	MilitaryProcesses.kif 1333-1333	area of operation is an instance of binary predicate
(instance areaOfOperation AsymmetricRelation)	MilitaryProcesses.kif 1334-1334	area of operation is an instance of asymmetric relation
(instance areaOfOperation PartialValuedRelation)	MilitaryProcesses.kif 1335-1335	area of operation is an instance of partial valued relation
(domain areaOfOperation 1 Region)	MilitaryProcesses.kif 1336-1336	The number 1 argument of area of operation is an instance of region
(domain areaOfOperation 2 MilitaryOperation)	MilitaryProcesses.kif 1337-1337	The number 2 argument of area of operation is an instance of military operation
(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 1338-1344	The number 2 argument of area of operation is an instance of military operation

appearance as argument number 2

(format EnglishLanguage areaOfOperation "%1 is %n the operational area for %2")	MilitaryProcesses.kif 2921-2921
(termFormat EnglishLanguage areaOfOperation "area of operation")	domainEnglishFormat.kif 8290-8290
(termFormat ChineseTraditionalLanguage areaOfOperation "經營範圍")	domainEnglishFormat.kif 8291-8291
(termFormat ChineseLanguage areaOfOperation "经营范围")	domainEnglishFormat.kif 8292-8292

consequent

(=>
    (and
        (instance ?OP MilitaryOperation)
        (eventLocated ?OP ?REGION)
        (instance ?REGION Region))
    (areaOfOperation ?REGION ?OP))

If X is an instance of military operation, X is located at Y, and Y is an instance of region, then Y is the operational area for X