Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

  War

 Sigma KEE - War
War(war)American_Civil_War, American_Revolution, American_Revolutionary_War, American_War_of_Independence, Arab-Israeli_War, Armageddon, BW, Balkan_Wars, Bloodless_Revolution, Boer_War, Chinese_Revolution, Chino-Japanese_War, Crimean_War, Crusade, English_Civil_War, English_Revolution, February_Revolution, Fifth_Crusade, First_Crusade, First_World_War, Fourth_Crusade, Franco-Prussian_War, French_Revolution, French_and_Indian_War, Glorious_Revolution, Great_War, Gulf_War, Hundred_Years'_War, IW, Iran-Iraq_War, Korean_War, Macedonian_War, Mexican_Revolution, Mexican_War, Napoleonic_Wars, Norman_Conquest, October_Revolution, Peloponnesian_War, Persian_Gulf_War, Punic_War, Restoration, Russian_Revolution, Russo-Japanese_War, Second_Crusade, Second_World_War, Seven_Years'_War, Seventh_Crusade, Sino-Japanese_War, Six-Day_War, Six_Day_War...

appearance as argument number 1
-------------------------


(subclass War ViolentContest) Merge.kif 13636-13636 War is a subclass of violent contest
(documentation War EnglishLanguage "A military confrontation between two or more GeopoliticalAreas or Organizations whose members are GeopoliticalAreas. As the corresponding axiom specifies, a War is made up of Battles.") Merge.kif 13637-13639 War is a subclass of violent contest

appearance as argument number 2
-------------------------


(subclass CivilWar War) Mid-level-ontology.kif 21588-21588 Civil war is a subclass of war
(termFormat EnglishLanguage War "war") english_format.kif 1641-1641 Civil war is a subclass of war

antecedent
-------------------------


(=>
    (instance ?WAR War)
    (exists (?BATTLE)
        (and
            (instance ?BATTLE Battle)
            (subProcess ?BATTLE ?WAR))))		 Merge.kif 13641-13646 If X is an instance of war, then there exists Y such that Y is an instance of battle and Y is a subprocess of X
(=>
    (and
        (instance ?WAR War)
        (agent ?WAR ?AGENT))
    (or
        (instance ?AGENT GeopoliticalArea)
        (and
            (instance ?AGENT Organization)
            (forall (?MEMBER)
                (=>
                    (member ?MEMBER ?AGENT)
                    (instance ?MEMBER GeopoliticalArea))))))		 Merge.kif 13648-13659 If X is an instance of war and Y is an agent of X, then Y is an instance of geopolitical area or Y is an instance of organization and For all Physical Z: if Z is a member of Y, then Z is an instance of geopolitical area
(=>
    (and
        (instance ?WAR War)
        (agent ?WAR ?A))
    (holdsDuring
        (WhenFn ?WAR)
        (attribute ?A WarState)))		 MilitaryProcesses.kif 1524-1529 If X is an instance of war and Y is an agent of X, then war state is an attribute of Y holds during the time of existence of X

consequent
-------------------------


(=>
    (instance ?BATTLE Battle)
    (exists (?WAR)
        (and
            (instance ?WAR War)
            (subProcess ?BATTLE ?WAR))))		 Merge.kif 13668-13673 If X is an instance of battle, then there exists Y such that Y is an instance of war and X is a subprocess of Y
(=>
    (hostileForces ?U1 ?U2)
    (exists (?WAR ?A1 ?A2)
        (and
            (instance ?WAR War)
            (contestParticipant ?WAR ?A1)
            (contestParticipant ?WAR ?A2)
            (subOrganization ?U1
                (GovernmentFn ?A1))
            (subOrganization ?U2
                (GovernmentFn ?A2)))))		 Mid-level-ontology.kif 9787-9795 If X is a hostile forces of Y, then there exist Z, W, V such that Z is an instance of war, W participates in Z, V participates in Z, Y is a part of the organization the government of W, and X is a part of the organization the government of V


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners