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

Battaglia (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]
Entitá
is subclass of
  EntitáConcreta  
is subclass of
  Processo  
is subclass of
  ProcessoIntenzionale  
is subclass of
  InterazioneSociale  
is subclass of
  Competizione  
is subclass of
  CompetizioneViolenta  
is subclass of
  Battaglia  

Coordinate term(s)

Guerra 

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)

Se war é un' istanza di Guerra, allora esiste Battaglia battle tale che battle é un sottoprocesso di war. 
(=>
      (instance ?WAR War)
      (exists
            (?BATTLE)
            (and
                  (instance ?BATTLE Battle)
                  (subProcess ?BATTLE ?WAR))))
Se battle é un' istanza di Battaglia, allora esiste Guerra war tale che battle é un sottoprocesso di war. 
(=>
      (instance ?BATTLE Battle)
      (exists
            (?WAR)
            (and
                  (instance ?WAR War)
                  (subProcess ?BATTLE ?WAR))))
Se battle é un' istanza di Battaglia, allora esiste CompetizioneViolenta attack tale che attack é un sottoprocesso di battle. 
(=>
      (instance ?BATTLE Battle)
      (exists
            (?ATTACK)
            (and
                  (instance ?ATTACK ViolentContest)
                  (subProcess ?ATTACK ?BATTLE))))