| CivilWar(civil war)
| | civil_war |
| appearance as argument number 1 |
|
|
| (documentation CivilWar EnglishLanguage "A War in which the fighting GeopoliticalAreas are both part of the same Nation.") | Mid-level-ontology.kif 20778-20779 | |
| (externalImage CivilWar "http://upload.wikimedia.org/wikipedia/commons/8/ 86/ M1A1_abrams_front.jpg") | pictureList.kif 5916-5916 | |
| (externalImage CivilWar "http://upload.wikimedia.org/wikipedia/commons/c/ c2/ Gustavus_Adolphus_at_the_Battle_at_Breitenfeld.jpg") | pictureList.kif 6275-6275 | |
| (externalImage CivilWar "http://upload.wikimedia.org/wikipedia/commons/c/ cc/ Ramses_II_at_Kadesh.jpg") | pictureList.kif 6276-6276 | |
| (subclass CivilWar War) | Mid-level-ontology.kif 20777-20777 | Civil war is a subclass of war |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage CivilWar "内战") | domainEnglishFormat.kif 15003-15003 | |
| (termFormat ChineseTraditionalLanguage CivilWar "內戰") | domainEnglishFormat.kif 15002-15002 | |
| (termFormat EnglishLanguage CivilWar "civil war") | domainEnglishFormat.kif 15001-15001 |
| antecedent |
|
|
| (=> (instance ?WAR CivilWar) (exists (?NATION) (and (instance ?NATION Nation) (forall (?AGENT) (=> (contestParticipant ?WAR ?AGENT) (geopoliticalSubdivision ?AGENT ?NATION)))))) |
Mid-level-ontology.kif 20781-20789 |
|
|
|
|