War | ![]() |
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 12409-12411 | |
(subclass War ViolentContest) | Merge.kif 12408-12408 |
appearance as argument number 2 |
![]() |
(subclass CivilWar War) | Mid-level-ontology.kif 17497-17497 | |
(termFormat ChineseLanguage War "战争") | chinese_format.kif 1210-1210 | |
(termFormat EnglishLanguage War "war") | english_format.kif 1642-1642 |
antecedent |
![]() |
(=> (and (instance ?WAR War) (agent ?WAR ?A)) (holdsDuring (WhenFn ?WAR) (attribute ?A WarState))) |
MilitaryProcesses.kif 1483-1488 | |
(=> (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 12420-12431 | |
(=> (instance ?WAR War) (exists (?BATTLE) (and (instance ?BATTLE Battle) (subProcess ?BATTLE ?WAR)))) |
Merge.kif 12413-12418 |
consequent |
![]() |
(=> (hostileForces ?U1 ?U2) (exists (?WAR ?A1 ?A2) (and (instance ?WAR War) (contestParticipant ?WAR ?A1) (contestParticipant ?WAR ?A2) (subOrganization ?U1 (GovernmentFn ?A1)) (subOrganization ?U2 (GovernmentFn ?A2))))) |
Mid-level-ontology.kif 8134-8142 | |
(=> (instance ?BATTLE Battle) (exists (?WAR) (and (instance ?WAR War) (subProcess ?BATTLE ?WAR)))) |
Merge.kif 12440-12445 |
![]() |
![]() |