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

KB Term:  Term intersection
English Word: 

Sigma KEE - CivilAffairsActivity
CivilAffairsActivity(civil affairs activity)

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


(subclass CivilAffairsActivity MilitaryOperation) MilitaryProcesses.kif 2385-2385 Civil affairs activity is a subclass of military operation
(documentation CivilAffairsActivity EnglishLanguage "Activities performed or supported by civil affairs that (1) enhance the relationship between military forces and civil authorities in areas where military forces are present, and (2) involve application of civil affairs functional specialty skills, in areas normally the responsibility of civil government, to enhance conduct of civil-military operations. See also civil affairs, civil-military operations.") MilitaryProcesses.kif 2386-2392 Civil affairs activity is a subclass of military operation
(externalImage CivilAffairsActivity "http://upload.wikimedia.org/wikipedia/ en/ 1/ 1c/ Civilaffairs_firstaid.jpg") pictureList.kif 8421-8421 Civil affairs activity is a subclass of military operation
(externalImage CivilAffairsActivity "http://upload.wikimedia.org/wikipedia/ en/ d/ d4/ Fm41-10-3-1.jpg") pictureList.kif 9066-9066 Civil affairs activity is a subclass of military operation
(externalImage CivilAffairsActivity "http://upload.wikimedia.org/wikipedia/ en/ e/ e0/ IraqiVillage.jpg") pictureList.kif 9067-9067 Civil affairs activity is a subclass of military operation
(externalImage CivilAffairsActivity "http://upload.wikimedia.org/wikipedia/ en/ e/ ec/ PIPELINE.jpg") pictureList.kif 9068-9068 Civil affairs activity is a subclass of military operation

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


(termFormat EnglishLanguage CivilAffairsActivity "civil affairs activity") domainEnglishFormat.kif 14940-14940
(termFormat ChineseTraditionalLanguage CivilAffairsActivity "民政活動") domainEnglishFormat.kif 14941-14941
(termFormat ChineseLanguage CivilAffairsActivity "民政活动") domainEnglishFormat.kif 14942-14942

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


(=>
    (and
        (instance ?CAA CivilAffairsActivity)
        (instance ?CAO CivilAffairsOperation))
    (subProcess ?CAA ?CAO))		 MilitaryProcesses.kif 2396-2400 If X is an instance of civil affairs activity and Y is an instance of civil affairs operation, then X is a subprocess of Y
(=>
    (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
(=>
    (instance ?CAA CivilAffairsActivity)
    (hasPurpose ?CAA
        (exists (?GUIDING ?OP)
            (and
                (instance ?GUIDING Guiding)
                (patient ?GUIDING ?OP)
                (instance ?OP CivilMilitaryOperation)))))		 MilitaryProcesses.kif 2413-2420 If X is an instance of civil affairs activity, then X has the purpose there exist Y, Z such that Y is an instance of guiding, Z is a patient of Y, and Z is an instance of civil military operation
(=>
    (instance ?CAA CivilAffairsActivity)
    (exists (?AGENT1 ?AGENT2)
        (and
            (agent ?CAA ?AGENT1)
            (agent ?CAA ?AGENT2)
            (not
                (equal ?AGENT1 ?AGENT2))
            (instance ?AGENT1 MilitaryOrganization)
            (not
                (instance ?AGENT2 MilitaryOrganization)))))		 MilitaryProcesses.kif 2425-2435 If X is an instance of civil affairs activity, then All of the following hold: (1) there exist Y (2) Z such that Y is an agent of X (3) Z is an agent of X (4) equal Y (5) Z (6) Y is an instance of military organization (7) Z is not an instance of military organization

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


(=>
    (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


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