Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  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...

VerbNet: battle-36.4|war,


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


(documentation War ChineseLanguage "这是一个由两个或以上 GeopoliticalArea 或 由 GeopoliticalArea 所组成的 Organization 之间的军事对抗。就如相应的定义指出,War 是由多场 Battle 所组成的。") chinese_format.kif 3291-3293
(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 12377-12379
(subclass War ViolentContest) Merge.kif 12376-12376 War is a subclass of violent contest

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


(subclass CivilWar War) Mid-level-ontology.kif 17492-17492 Civil war is a subclass of war
(termFormat ChineseLanguage War "战争") chinese_format.kif 1210-1210
(termFormat EnglishLanguage War "war") english_format.kif 1642-1642

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


(=>
    (and
        (instance ?WAR War)
        (agent ?WAR ?A))
    (holdsDuring
        (WhenFn ?WAR)
        (attribute ?A WarState)))
MilitaryProcesses.kif 1483-1488
(=>
    (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 12388-12399
(=>
    (instance ?WAR War)
    (exists (?BATTLE)
        (and
            (instance ?BATTLE Battle)
            (subProcess ?BATTLE ?WAR))))
Merge.kif 12381-12386

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


(=>
    (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 8132-8140
(=>
    (instance ?BATTLE Battle)
    (exists (?WAR)
        (and
            (instance ?WAR War)
            (subProcess ?BATTLE ?WAR))))
Merge.kif 12408-12413


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 is open source software produced by Articulate Software and its partners