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 19716-19717 | |
(externalImage CivilWar "http://upload.wikimedia.org/wikipedia/commons/8/ 86/ M1A1_abrams_front.jpg") | pictureList.kif 5917-5917 | |
(externalImage CivilWar "http://upload.wikimedia.org/wikipedia/commons/c/ c2/ Gustavus_Adolphus_at_the_Battle_at_Breitenfeld.jpg") | pictureList.kif 6276-6276 | |
(externalImage CivilWar "http://upload.wikimedia.org/wikipedia/commons/c/ cc/ Ramses_II_at_Kadesh.jpg") | pictureList.kif 6277-6277 | |
(subclass CivilWar War) | Mid-level-ontology.kif 19715-19715 | Civil war is a subclass of war |
appearance as argument number 2 |
(termFormat ChineseLanguage CivilWar "内战") | domainEnglishFormat.kif 14988-14988 | |
(termFormat ChineseTraditionalLanguage CivilWar "內戰") | domainEnglishFormat.kif 14987-14987 | |
(termFormat EnglishLanguage CivilWar "civil war") | domainEnglishFormat.kif 14986-14986 |
antecedent |
(=> (instance ?WAR CivilWar) (exists (?NATION) (and (instance ?NATION Nation) (forall (?AGENT) (=> (contestParticipant ?WAR ?AGENT) (geopoliticalSubdivision ?AGENT ?NATION)))))) |
Mid-level-ontology.kif 19719-19727 |
|