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 13373-13375
No TPTP formula. May not be expressible in strict first order. Merge.kif 13372-13372 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 19715-19715 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 13384-13395
No TPTP formula. May not be expressible in strict first order. Merge.kif 13377-13382

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8454-8462
No TPTP formula. May not be expressible in strict first order. Merge.kif 13404-13409


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