Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  areaOfOperation

Sigma KEE - areaOfOperation
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 1304-1310
(domain areaOfOperation 1 Region) MilitaryProcesses.kif 1302-1302
(domain areaOfOperation 2 MilitaryOperation) MilitaryProcesses.kif 1303-1303
(instance areaOfOperation AsymmetricRelation) MilitaryProcesses.kif 1300-1300
(instance areaOfOperation BinaryPredicate) MilitaryProcesses.kif 1299-1299
(instance areaOfOperation PartialValuedRelation) MilitaryProcesses.kif 1301-1301

appearance as argument number 2
-------------------------


(format EnglishLanguage areaOfOperation "%1 is %n the operational area for %2") MilitaryProcesses.kif 2654-2654
(termFormat EnglishLanguage areaOfOperation "area of operation") domainEnglishFormat.kif 1816-1816

consequent
-------------------------


(=>
    (and
        (instance ?OP MilitaryOperation)
        (eventLocated ?OP ?REGION)
        (instance ?REGION Region))
    (areaOfOperation ?REGION ?OP))
MilitaryProcesses.kif 1314-1319


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners