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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - CivilAffairs
CivilAffairs(civil affairs)

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


(documentation CivilAffairs EnglishLanguage "Designated Active and Reserve component forces and units organized, trained, and equipped specifically to conduct civil affairs activities and to support civil-military operations. Also called CA. See also civil affairs activities; civil-military operations.") MilitaryProcesses.kif 2340-2344
(externalImage CivilAffairs "http://upload.wikimedia.org/wikipedia/en/1/ 1c/ Civilaffairs-firstaid.jpg") pictureList.kif 5917-5917
(externalImage CivilAffairs "http://upload.wikimedia.org/wikipedia/en/d/ d4/ Fm41-10-3-1.jpg") pictureList.kif 6274-6274
(externalImage CivilAffairs "http://upload.wikimedia.org/wikipedia/en/e/ e0/ IraqiVillage.jpg") pictureList.kif 6275-6275
(externalImage CivilAffairs "http://upload.wikimedia.org/wikipedia/en/e/ ec/ PIPELINE.jpg") pictureList.kif 6276-6276
(subclass CivilAffairs MilitaryForce) MilitaryProcesses.kif 2339-2339 Civil affairs is a subclass of military force

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


(termFormat ChineseLanguage CivilAffairs "民政") domainEnglishFormat.kif 14937-14937
(termFormat ChineseTraditionalLanguage CivilAffairs "民政") domainEnglishFormat.kif 14936-14936
(termFormat EnglishLanguage CivilAffairs "civil affairs") domainEnglishFormat.kif 14935-14935

antecedent
-------------------------


(=>
    (instance ?CA CivilAffairs)
    (hasPurpose ?CA
        (exists (?GUIDING ?OP_ACT)
            (and
                (instance ?GUIDING Guiding)
                (patient ?GUIDING ?OP_ACT)
                (agent ?CA ?GUIDING)
                (or
                    (instance ?OP_ACT CivilMilitaryOperation)
                    (instance ?OP_ACT CivilAffairsActivity))))))
MilitaryProcesses.kif 2349-2359

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


(=>
    (instance ?CAA CivilAffairsActivity)
    (exists (?CA)
        (and
            (agent ?CAA ?CA)
            (instance ?CA CivilAffairs))))
MilitaryProcesses.kif 2376-2381


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