SUMO   View all facts   Glossary   Help
Entity > Physical > Process > Competition > Contest > ViolentContest > War
Next ViolentContestBattle    UpViolentContest

War
subjectfact 
Wardocumentation A military confrontation between two or more Nations or Organizations whose members are Nations. As the corresponding axiom specifies, a War is made up of Battles2001-11-30 13:35:33.0
has axiom
(=>
(and
(instance ?WAR War)
(agent ?WAR ?AGENT))
(or
(instance ?AGENT Nation)
(and
(instance ?AGENT Organization)
(forall (?MEMBER)
(=>
(member ?MEMBER ?AGENT)
(instance ?MEMBER Nation))))))
2001-11-30 13:35:33.0
has axiom
(=>
(instance ?BATTLE Battle)
(exists (?WAR)
(and
(instance ?WAR War)
(subProcess ?BATTLE ?WAR))))
2001-11-30 13:35:33.0
has axiom
(=>
(instance ?WAR War)
(exists (?BATTLE)
(and
(instance ?BATTLE Battle)
(subProcess ?BATTLE ?WAR))))
2001-11-30 13:35:33.0
is a kind of ViolentContest2001-11-30 13:35:33.0
Processis first domain of agent2001-11-30 13:35:04.0
is first domain of capability2001-11-30 13:35:04.0
is first domain of causes2001-11-30 13:35:04.0
is first domain of destination2001-11-30 13:35:04.0
is first domain of direction2001-11-30 13:35:04.0
is first domain of effector2001-11-30 13:35:04.0
is first domain of experiencer2001-11-30 13:35:04.0
is first domain of frequency2001-11-30 13:35:04.0
is first domain of hasSkill2001-11-30 13:35:04.0
is first domain of holdsObligation2001-11-30 13:35:04.0
is first domain of holdsRight2001-11-30 13:35:04.0
is first domain of inhibits2001-11-30 13:35:04.0
is first domain of instrument2001-11-30 13:35:04.0
is first domain of manner2001-11-30 13:35:04.0
is first domain of origin2001-11-30 13:35:04.0
is first domain of patient2001-11-30 13:35:04.0
is first domain of precondition2001-11-30 13:35:04.0
is first domain of prevents2001-11-30 13:35:04.0
is first domain of realization2001-11-30 13:35:04.0
is first domain of resource2001-11-30 13:35:04.0
is first domain of result2001-11-30 13:35:04.0
is first domain of subProcess2001-11-30 13:35:04.0
is second domain of causes2001-11-30 13:35:04.0
is second domain of inhibits2001-11-30 13:35:04.0
is second domain of precondition2001-11-30 13:35:04.0
is second domain of prevents2001-11-30 13:35:04.0
is second domain of subProcess2001-11-30 13:35:04.0
IntentionalProcessis disjoint from NonintentionalProcess2001-11-30 13:34:31.0

Next ViolentContestBattle    UpViolentContest