ViolentContest - Sigma Knowledge base Browser

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...

VerbNet: exist-47.1|lurk, exist-47.1|lurk, confront-98|combat, fill-9.8|surround, fill-9.8|surround, meet-36.3|box, exist-47.1|lurk, fill-9.8|surround, confront-98|combat, meet-36.3|fight, battle-36.4|duel, meet-36.3|fight, butter-9.9|gas, fill-9.8|surround, battle-36.4|joust, exist-47.1|lurk, exist-47.1|lurk, equip-13.4.2|rearm, equip-13.4.2|rearm, battle-36.4|tussle, exist-47.1|lurk, battle-36.4|spar, meet-36.3|fight, fill-9.8|surround, battle-36.4|tilt, battle-36.4|tussle, exist-47.1|lurk,

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 12373-12374
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 12372-12372	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 12401-12401	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 19674-19674	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 19758-19758	Incendiary device attack is a subclass of violent contest
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19800-19800	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 11512-11512	Political revolution is a subclass of violent contest
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19898-19898	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 19962-19962	Vehicle attack is a subclass of violent contest
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12376-12376	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	If a process is an instance of violent contest and an object is an instrument for the process and the object is an instance of biochemical weapon, then the process is an instance of biochemical attack
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12492-12499	If a process is an instance of maneuver and another process is an instance of violent contest and the process is a subprocess of the other process, then the process is an instance of attack or the process is an instance of defensive maneuver

consequent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 12452-12457	If a process is an instance of attack, then there exists another process such that the other process is an instance of violent contest and the process is a subprocess of the other process
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12415-12420	If a process is an instance of battle, then there exists another process such that the other process is an instance of violent contest and the other process is a subprocess of the process
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12474-12479	If a process is an instance of defensive maneuver, then there exists another process such that the other process is an instance of violent contest and the process is a subprocess of the other process
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15489-15491	If an object is an instance of military force, then the object is capable of doing violent contest as a agent
No TPTP formula. May not be expressible in strict first order.	Military.kif 89-96	If an object is an instance of peacekeeping unit, then the object is capable of doing the class described by a symbolic string as a agent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20523-20528	If an agent is an instance of terrorist organization, then there exists a process such that the process is an instance of violent contest and the agent is an agent of the 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