|
|
   CivilWar
|
|
|
| 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 19063-19064 | |
| (externalImage CivilWar "http://upload.wikimedia.org/wikipedia/commons/8/ 86/ M1A1_abrams_front.jpg") | pictureList.kif 5918-5918 | |
| (externalImage CivilWar "http://upload.wikimedia.org/wikipedia/commons/c/ c2/ Gustavus_Adolphus_at_the_Battle_at_Breitenfeld.jpg") | pictureList.kif 6277-6277 | |
| (externalImage CivilWar "http://upload.wikimedia.org/wikipedia/commons/c/ cc/ Ramses_II_at_Kadesh.jpg") | pictureList.kif 6278-6278 | |
| (subclass CivilWar War) | Mid-level-ontology.kif 19062-19062 |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage CivilWar "内战") | domainEnglishFormat.kif 14991-14991 | |
| (termFormat ChineseTraditionalLanguage CivilWar "內戰") | domainEnglishFormat.kif 14990-14990 | |
| (termFormat EnglishLanguage CivilWar "civil war") | domainEnglishFormat.kif 14989-14989 |
| antecedent |
|
|
| (=> (instance ?WAR CivilWar) (exists (?NATION) (and (instance ?NATION Nation) (forall (?AGENT) (=> (contestParticipant ?WAR ?AGENT) (geopoliticalSubdivision ?AGENT ?NATION)))))) |
Mid-level-ontology.kif 19066-19074 |
|
|
|
