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 13327-13329
No TPTP formula. May not be expressible in strict first order. Merge.kif 13326-13326 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 19688-19688 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
No TPTP formula. May not be expressible in strict first order. Merge.kif 13338-13349
No TPTP formula. May not be expressible in strict first order. Merge.kif 13331-13336

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8427-8435
No TPTP formula. May not be expressible in strict first order. Merge.kif 13358-13363


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