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

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3291-3293
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13466-13468
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13465-13465	War is a subclass of violent contest

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21276-21276	Civil war is a subclass of war
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1210-1210	Civil war is a subclass of war
No TPTP formula. May not be expressible in strict first order.	english_format.kif 1637-1637	Civil war is a subclass of war
No TPTP formula. May not be expressible in strict first order.	french_format.kif 888-888	Civil war is a subclass of war
No TPTP formula. May not be expressible in strict first order.	terms-hindi.txt 421-421	Civil war is a subclass of war
No TPTP formula. May not be expressible in strict first order.	terms-it.txt 424-424	Civil war is a subclass of war
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2572-2572	Civil war is a subclass of war
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 840-840	Civil war is a subclass of war
No TPTP formula. May not be expressible in strict first order.	terms-cb.txt 426-426	Civil war is a subclass of war
No TPTP formula. May not be expressible in strict first order.	terms-cz.txt 460-460	Civil war is a subclass of war
No TPTP formula. May not be expressible in strict first order.	terms-de.txt 719-719	Civil war is a subclass of war
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 909-909	Civil war is a subclass of war
No TPTP formula. May not be expressible in strict first order.	terms-tg.txt 425-425	Civil war is a subclass of war

antecedent

No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13477-13488	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
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13470-13475	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

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9651-9659	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
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13497-13502	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