| appearance as argument number 1 |
|
|
| (documentation War ChineseLanguage "这是一个由两个或以上 GeopoliticalArea 或 由 GeopoliticalArea 所组成的 Organization 之间的军事对抗。就如相应的定义指出，War 是由多场 Battle 所组成的。") | chinese_format.kif 3291-3293 | |
| (documentation War EnglishLanguage "A military confrontation between two or more GeopoliticalAreas or Organizations whose members are GeopoliticalAreas. As the corresponding axiom specifies, a War is made up of Battles.") | Merge.kif 13218-13220 | |
| (subclass War ViolentContest) | Merge.kif 13217-13217 | War is a subclass of violent contest |
| appearance as argument number 2 |
|
|
| (subclass CivilWar War) | Mid-level-ontology.kif 19521-19521 | Civil war is a subclass of war |
| (termFormat ChineseLanguage War "战争") | chinese_format.kif 1210-1210 | |
| (termFormat EnglishLanguage War "war") | english_format.kif 1637-1637 | |
| (termFormat FrenchLanguage War "guerre") | french_format.kif 888-888 | |
| (termFormat Hindi War "yuddha") | terms-hindi.txt 421-421 | |
| (termFormat ItalianLanguage War "Guerra") | terms-it.txt 422-422 | |
| (termFormat JapaneseLanguage War "戦争") | japanese_format.kif 2572-2572 | |
| (termFormat PortugueseLanguage War "Guerra") | portuguese_format.kif 840-840 | |
| (termFormat cb War "gubat") | terms-cb.txt 426-426 | |
| (termFormat cz War "war") | terms-cz.txt 460-460 | |
| (termFormat ro War "rãzboi") | relations-ro.kif 909-909 | |
| (termFormat tg War "digmaan") | terms-tg.txt 425-425 |
| antecedent |
|
|
| (=> (and (instance ?WAR War) (agent ?WAR ?A)) (holdsDuring (WhenFn ?WAR) (attribute ?A WarState))) |
MilitaryProcesses.kif 1502-1507 | |
| (=> (and (instance ?WAR War) (agent ?WAR ?AGENT)) (or (instance ?AGENT GeopoliticalArea) (and (instance ?AGENT Organization) (forall (?MEMBER) (=> (member ?MEMBER ?AGENT) (instance ?MEMBER GeopoliticalArea)))))) |
Merge.kif 13229-13240 |
|
| (=> (instance ?WAR War) (exists (?BATTLE) (and (instance ?BATTLE Battle) (subProcess ?BATTLE ?WAR)))) |
Merge.kif 13222-13227 |
|
| consequent |
|
|
|
|
|