Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - ViolentContest
ViolentContest(violent contest)
Operation_Desert_Storm, active, affaire_d'honneur, affray, aggravated_assault, aggression, air_attack, air_raid, ambuscade, ambush, amphibious_assault, area_bombing, assail, assault, assault_and_battery, assaultive, atomise, atomize, attack, attacking, attempt, bait, bandy, banging, banzai_attack, banzai_charge, barricade, barricado, battering, battery, battle, beating, beleaguer, besiege, blast, blindside, blitz, blitzkrieg, block_off, blockade, blood_feud, bloodily, bloodlessly, bombardment, bombing, bombing_run, box, brawl, breakthrough, bushwhack...

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 3289-3290
No TPTP formula. May not be expressible in strict first order. Merge.kif 12393-12394
No TPTP formula. May not be expressible in strict first order. pictureList.kif 12175-12175
No TPTP formula. May not be expressible in strict first order. pictureList.kif 12173-12173
No TPTP formula. May not be expressible in strict first order. pictureList.kif 12174-12174
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10353-10353
No TPTP formula. May not be expressible in strict first order. Merge.kif 12392-12392 Violent contest is a subclass of contest

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 12421-12421 Battle is a subclass of violent contest
No TPTP formula. May not be expressible in strict first order. Sports.kif 470-470 Boxing is a subclass of violent contest
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19680-19680 Chemical attack is a subclass of violent contest
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 325-325 Direct action is a subclass of violent contest
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 389-389 Direct action activity is a subclass of violent contest
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19764-19764 Incendiary device attack is a subclass of violent contest
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19806-19806 Knife attack is a subclass of violent contest
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 421-421 Military assault is a subclass of violent contest
No TPTP formula. May not be expressible in strict first order. emotion.kif 1612-1612 Violence is a subclass of violent contest
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11514-11514 Political revolution is a subclass of violent contest
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19904-19904 Stoning is a subclass of violent contest
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 2074-2074 Terrorism is a subclass of violent contest
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19968-19968 Vehicle attack is a subclass of violent contest
No TPTP formula. May not be expressible in strict first order. Merge.kif 12396-12396 War is a subclass of violent contest
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1209-1209
No TPTP formula. May not be expressible in strict first order. english_format.kif 1640-1640

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. WMD.kif 57-62
No TPTP formula. May not be expressible in strict first order. Merge.kif 12512-12519

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 12472-12477
No TPTP formula. May not be expressible in strict first order. Merge.kif 12435-12440
No TPTP formula. May not be expressible in strict first order. Merge.kif 12494-12499
No TPTP formula. May not be expressible in strict first order. Merge.kif 15523-15525
No TPTP formula. May not be expressible in strict first order. Military.kif 89-96
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20529-20534


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