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

KB Term:  Term intersection
English Word: 

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 full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)


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