War - Sigma Knowledge base Browser

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...

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 13373-13375
(subclass War ViolentContest)	Merge.kif 13372-13372	War is a subclass of violent contest

appearance as argument number 2

(subclass CivilWar War)	Mid-level-ontology.kif 19946-19946	Civil war is a subclass of war
(termFormat ChineseLanguage War "战争")	chinese_format.kif 1210-1210	Civil war is a subclass of war
(termFormat EnglishLanguage War "war")	english_format.kif 1637-1637	Civil war is a subclass of war
(termFormat FrenchLanguage War "guerre")	french_format.kif 888-888	Civil war is a subclass of war
(termFormat Hindi War "yuddha")	terms-hindi.txt 421-421	Civil war is a subclass of war
(termFormat ItalianLanguage War "Guerra")	terms-it.txt 424-424	Civil war is a subclass of war
(termFormat JapaneseLanguage War "戦争")	japanese_format.kif 2572-2572	Civil war is a subclass of war
(termFormat PortugueseLanguage War "Guerra")	portuguese_format.kif 840-840	Civil war is a subclass of war
(termFormat cb War "gubat")	terms-cb.txt 426-426	Civil war is a subclass of war
(termFormat cz War "war")	terms-cz.txt 460-460	Civil war is a subclass of war
(termFormat ro War "rãzboi")	relations-ro.kif 909-909	Civil war is a subclass of war
(termFormat tg War "digmaan")	terms-tg.txt 425-425	Civil war is a subclass of war

antecedent

(=> (and (instance ?WAR War) (agent ?WAR ?A)) (holdsDuring (WhenFn ?WAR) (attribute ?A WarState)))	MilitaryProcesses.kif 1502-1507	If a process is an instance of war and an agent is an agent of the process, then war state is an attribute of the agent holds during the time of existence of the process
(=> (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 13384-13395	If a process is an instance of war and an agent is an agent of the process, then the agent is an instance of geopolitical area or the agent is an instance of organization and for all a physical if the physical is a member of the agent, then the physical is an instance of geopolitical area
(=> (instance ?WAR War) (exists (?BATTLE) (and (instance ?BATTLE Battle) (subProcess ?BATTLE ?WAR))))	Merge.kif 13377-13382	If a process is an instance of war, then there exists another process such that the other process is an instance of battle and the other process is a subprocess of the process

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 8645-8653	If a military unit is a hostile forces of another military unit, then there exist a contest, a geopolitical area and another geopolitical area such that the contest is an instance of war and the geopolitical area participates in the contest and the other geopolitical area participates in the contest and the other military unit is a part of the organization the government of the geopolitical area and the military unit is a part of the organization the government of the other geopolitical area
(=> (instance ?BATTLE Battle) (exists (?WAR) (and (instance ?WAR War) (subProcess ?BATTLE ?WAR))))	Merge.kif 13404-13409	If a process is an instance of battle, then there exists another process such that the other process is an instance of war and the process is a subprocess of the other process

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