yuddha (War)

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 Battles.

Ontology

SUMO / PROCESSES

Superclass(es)

astitva

bhOtika vaswu

prakriyaa

sabhipraaya prakriyaa

saamaajika antah kriyaa

pratiyogitaa

hinsaatmaka pratiyogitaa

yuddha

Coordinate term(s)

ladhaaii

Related WordNet synsets

hostility, belligerency: acts of overt warfare; "the outbreak of hostilities"
war, warfare: the waging of armed conflict against an enemy; "thousands of people were killed in the war"
war, state of war: a legal state created by a declaration of war and ended by official declaration during which the international rules of war apply; "war was declared in November but actual fighting did not begin until the following spring"
war: make or wage war
go to war, take arms, take up arms: commence hostilities

See more related synsets on a separate page.

Axioms (3)

Agar war is an instance of yuddha, to yah kuch ladhaaii battle nahin, ki battle is a subprocess of war.

(=>
      (instance ?WAR War)
      (exists
            (?BATTLE)
            (and
                  (instance ?BATTLE Battle)
                  (subProcess ?BATTLE ?WAR))))

agar war is an instance of yuddha aur war agent kaa kaaran hai,
to
- agent is an instance of raashtra
- - agent is an instance of sansthaa
  - sab-kuch member ke lie hai, ki: agar member is a member of agent, to member is an instance of raashtra

(=>
      (and
            (instance ?WAR War)
            (agent ?WAR ?AGENT))
      (or
            (instance ?AGENT Nation)
            (and
                  (instance ?AGENT Organization)
                  (forall
                        (?MEMBER)
                        (=>
                              (member ?MEMBER ?AGENT)
                              (instance ?MEMBER Nation))))))

Agar battle is an instance of ladhaaii, to yah kuch yuddha war nahin, ki battle is a subprocess of war.

(=>
      (instance ?BATTLE Battle)
      (exists
            (?WAR)
            (and
                  (instance ?WAR War)
                  (subProcess ?BATTLE ?WAR))))