SUMO   View all facts   Glossary   Help
Entity > Physical > Process > Competition > Contest > ViolentContest > War
Next ViolentContest: Battle    Up: ViolentContest

War comparison table
Subject documentation is a kind of have axiom
ViolentContestA Contest where one participant attempts to physically injure another participantContest
(=>
    (instance ?MOVE Maneuver)
    (exists (?CONTEST)
       (and
          (instance ?CONTEST Contest)
          (subProcess ?MOVE ?CONTEST))))
WarA military confrontation between two or more Nations or Organizations whose members are Nations. As the corresponding axiom specifies, a War is made up of BattlesViolentContest
(=>
    (instance ?WAR War)
    (exists (?BATTLE)
       (and
          (instance ?BATTLE Battle)
          (subProcess ?BATTLE ?WAR))))

Next ViolentContest: Battle    Up: ViolentContest