Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - CivilAffairs
CivilAffairs(civil affairs)

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


(subclass CivilAffairs MilitaryForce) MilitaryProcesses.kif 2363-2363 Civil affairs is a subclass of military force
(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 2364-2368 Civil affairs is a subclass of military force
(externalImage CivilAffairs "http://upload.wikimedia.org/wikipedia/en/1/ 1c/ Civilaffairs_firstaid.jpg") pictureList.kif 5915-5915 Civil affairs is a subclass of military force
(externalImage CivilAffairs "http://upload.wikimedia.org/wikipedia/en/d/ d4/ Fm41-10-3-1.jpg") pictureList.kif 6272-6272 Civil affairs is a subclass of military force
(externalImage CivilAffairs "http://upload.wikimedia.org/wikipedia/en/e/ e0/ IraqiVillage.jpg") pictureList.kif 6273-6273 Civil affairs is a subclass of military force
(externalImage CivilAffairs "http://upload.wikimedia.org/wikipedia/en/e/ ec/ PIPELINE.jpg") pictureList.kif 6274-6274 Civil affairs is a subclass of military force

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


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

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 2373-2383 If X is an instance of civil affairs, then X has the purpose there exist Y, ?OP_ACT such that Y is an instance of guiding, ?OP_ACT is a patient of Y, Y is an agent of X, and ?OP_ACT is an instance of civil military operation or ?OP_ACT is an instance of civil affairs activity

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


(=>
    (instance ?CAA CivilAffairsActivity)
    (exists (?CA)
        (and
            (agent ?CAA ?CA)
            (instance ?CA CivilAffairs))))		 MilitaryProcesses.kif 2404-2409 If X is an instance of civil affairs activity, then there exists Y such that Y is an agent of X and Y is an instance of civil affairs


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.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners