TreeView Knowledge Base Browser - War

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] 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

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 13349-13351
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13348-13348	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 19687-19687	Civil war is a subclass of war
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1210-1210
No TPTP formula. May not be expressible in strict first order.	english_format.kif 1637-1637
No TPTP formula. May not be expressible in strict first order.	french_format.kif 888-888
No TPTP formula. May not be expressible in strict first order.	terms-hindi.txt 421-421
No TPTP formula. May not be expressible in strict first order.	terms-it.txt 424-424
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2572-2572
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 840-840
No TPTP formula. May not be expressible in strict first order.	terms-cb.txt 426-426
No TPTP formula. May not be expressible in strict first order.	terms-cz.txt 460-460
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 909-909
No TPTP formula. May not be expressible in strict first order.	terms-tg.txt 425-425

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 13360-13371	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 13353-13358	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 8426-8434	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 13380-13385	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 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 is open source software produced by Articulate Software and its partners