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

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	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 12512-12519	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 12472-12477	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 12435-12440	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 12494-12499	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 15523-15525	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 20529-20534	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