Select language: english | cesky | deutsch | italiano | simplified chinese | traditional chinese | hindi
Concept:
English word:
Home

ladhaaii (Battle)

A ViolentContest between two or more military units within the context of a war. Note that this does not cover the metaphorical sense of 'battle', which simply means a struggle of some sort. This sense should be represented with the more general concept of Contest.

Ontology

SUMO / PROCESSES

Superclass(es)

[tree]
astitva
is subclass of
  bhOtika vaswu  
is subclass of
  prakriyaa  
is subclass of
  sabhipraaya prakriyaa  
is subclass of
  saamaajika antah kriyaa  
is subclass of
  pratiyogitaa  
is subclass of
  hinsaatmaka pratiyogitaa  
is subclass of
  ladhaaii  

Coordinate term(s)

yuddha 

Related WordNet synsets

battle, conflict, fight, engagement
a hostile meeting of opposing military forces in the course of a war; "Grant won a decisive victory in the battle of Chickamauga"; "he lost his romantic ideas about war when he got into a real engagement"
battle is kind of (all)...   battle is kind of...   kinds of battle...   kinds of battle (all)...   battle is part of...  
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 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))))
Agar battle is an instance of ladhaaii, to yah kuch hinsaatmaka pratiyogitaa attack nahin, ki attack is a subprocess of battle. 
(=>
      (instance ?BATTLE Battle)
      (exists
            (?ATTACK)
            (and
                  (instance ?ATTACK ViolentContest)
                  (subProcess ?ATTACK ?BATTLE))))