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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 1316-1322
(domain areaOfOperation 1 Region) MilitaryProcesses.kif 1314-1314 经营范围 的 1 数量 是 地区instance
(domain areaOfOperation 2 MilitaryOperation) MilitaryProcesses.kif 1315-1315 经营范围 的 2 数量 是 军事行动instance
(instance areaOfOperation AsymmetricRelation) MilitaryProcesses.kif 1312-1312 经营范围非对称关系instance
(instance areaOfOperation BinaryPredicate) MilitaryProcesses.kif 1311-1311 经营范围二元谓语instance
(instance areaOfOperation PartialValuedRelation) MilitaryProcesses.kif 1313-1313 经营范围部分值关系instance

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


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

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


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


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



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners