CivilWar - Sigma Knowledge base Browser

appearance as argument number 1

(subclass CivilWar War)	Mid-level-ontology.kif 21588-21588	Civil war is a subclass of war
(documentation CivilWar EnglishLanguage "A War in which the fighting GeopoliticalAreas are both part of the same Nation.")	Mid-level-ontology.kif 21589-21590	Civil war is a subclass of war
(externalImage CivilWar "http://upload.wikimedia.org/wikipedia/commons/8/ 86/ M1A1_abrams_front.jpg")	pictureList.kif 5916-5916	Civil war is a subclass of war
(externalImage CivilWar "http://upload.wikimedia.org/wikipedia/commons/c/ c2/ Gustavus_Adolphus_at_the_Battle_at_Breitenfeld.jpg")	pictureList.kif 6275-6275	Civil war is a subclass of war
(externalImage CivilWar "http://upload.wikimedia.org/wikipedia/commons/c/ cc/ Ramses_II_at_Kadesh.jpg")	pictureList.kif 6276-6276	Civil war is a subclass of war

appearance as argument number 2

(termFormat EnglishLanguage CivilWar "civil war")	domainEnglishFormat.kif 14988-14988
(termFormat ChineseTraditionalLanguage CivilWar "內戰")	domainEnglishFormat.kif 14989-14989
(termFormat ChineseLanguage CivilWar "内战")	domainEnglishFormat.kif 14990-14990

antecedent

(=>
    (and
        (instance ?WAR CivilWar)
        (contestParticipant ?WAR ?AGENT))
    (exists (?NATION)
        (and
            (instance ?NATION Nation)
            (geopoliticalSubdivision ?AGENT ?NATION))))

If X is an instance of civil war and Y participates in X, then there exists Z such that Z is an instance of nation and Y is a geopolitical part of Z