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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - JointOperation
JointOperation(joint operation)

appearance as argument number 1
-------------------------


(documentation JointOperation EnglishLanguage "A general term to describe military actions conducted by joint forces or by Service forces in relationships (e.g., support, coordinating authority) which, of themselves, do not create joint forces.") MilitaryProcesses.kif 1718-1721
(externalImage JointOperation "http://upload.wikimedia.org/wikipedia/commons/ 0/ 07/ Iraq_header_2.jpg") pictureList.kif 5022-5022
(externalImage JointOperation "http://upload.wikimedia.org/wikipedia/commons/ 3/ 35/ WarGulf_photobox.jpg") pictureList.kif 4903-4903
(subclass JointOperation Cooperation) MilitaryProcesses.kif 1717-1717 Joint operation is a subclass of cooperation
(subclass JointOperation MilitaryOperation) MilitaryProcesses.kif 1716-1716 Joint operation is a subclass of military operation

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


(subclass CivilAffairsOperation JointOperation) MilitaryProcesses.kif 2206-2206 Civil affairs operation is a subclass of joint operation
(subclass CivilMilitaryOperation JointOperation) MilitaryProcesses.kif 2268-2268 Civil military operation is a subclass of joint operation
(termFormat ChineseLanguage JointOperation "联合行动") domainEnglishFormat.kif 31746-31746 Civil military operation is a subclass of joint operation
(termFormat ChineseTraditionalLanguage JointOperation "聯合行動") domainEnglishFormat.kif 31745-31745 Civil military operation is a subclass of joint operation
(termFormat EnglishLanguage JointOperation "joint operation") domainEnglishFormat.kif 31744-31744 Civil military operation is a subclass of joint operation

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


(=>
    (instance ?PLAN OPLAN)
    (exists (?OP)
        (and
            (represents ?PLAN ?OP)
            (instance ?OP JointOperation))))
MilitaryProcesses.kif 1821-1826


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