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

battle (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]
entity
is subclass of
  physical  
is subclass of
  process  
is subclass of
  intentional process  
is subclass of
  social interaction  
is subclass of
  contest  
is subclass of
  violent contest  
is subclass of
  battle  

Coordinate term(s)

war 

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)

If war is an instance of war, then there exists battle battle so that battle is a subprocess of war. 
(=>
      (instance ?WAR War)
      (exists
            (?BATTLE)
            (and
                  (instance ?BATTLE Battle)
                  (subProcess ?BATTLE ?WAR))))
If battle is an instance of battle, then there exists war war so that battle is a subprocess of war. 
(=>
      (instance ?BATTLE Battle)
      (exists
            (?WAR)
            (and
                  (instance ?WAR War)
                  (subProcess ?BATTLE ?WAR))))
If battle is an instance of battle, then there exists violent contest attack so that attack is a subprocess of battle. 
(=>
      (instance ?BATTLE Battle)
      (exists
            (?ATTACK)
            (and
                  (instance ?ATTACK ViolentContest)
                  (subProcess ?ATTACK ?BATTLE))))