ViolentContest - Sigma Knowledge base Browser

appearance as argument number 1

(documentation ViolentContest ChineseLanguage "这是参赛者试图令到另外一个参赛者身体受伤害的 Contest。")	chinese_format.kif 3289-3290
(documentation ViolentContest EnglishLanguage "A Contest where one participant attempts to physically injure another participant.")	Merge.kif 13345-13346
(externalImage ViolentContest "http://upload.wikimedia.org/wikipedia/commons/ 9/ 9b/ Kick.JPG")	pictureList.kif 12148-12148
(externalImage ViolentContest "http://upload.wikimedia.org/wikipedia/commons/ d/ d9/ Ouch-boxing-footwork.jpg")	pictureList.kif 12146-12146
(externalImage ViolentContest "http://upload.wikimedia.org/wikipedia/commons/ e/ ee/ Wushu_dao.jpg")	pictureList.kif 12147-12147
(externalImage ViolentContest "http://upload.wikimedia.org/wikipedia/commons/ thumb/ 4/ 4f/ Boxing080905_photoshop.jpg/ 200px-Boxing080905_photoshop.jpg")	pictureList.kif 10332-10332
(subclass ViolentContest Contest)	Merge.kif 13344-13344	Violent contest is a subclass of contest

appearance as argument number 2

(subclass Battle ViolentContest)	Merge.kif 13373-13373	Battle is a subclass of violent contest
(subclass Boxing ViolentContest)	Sports.kif 584-584	Boxing is a subclass of violent contest
(subclass ChemicalAttack ViolentContest)	Mid-level-ontology.kif 21848-21848	Chemical attack is a subclass of violent contest
(subclass DirectAction ViolentContest)	MilitaryProcesses.kif 325-325	Direct action is a subclass of violent contest
(subclass DirectActionActivity ViolentContest)	MilitaryProcesses.kif 389-389	Direct action activity is a subclass of violent contest
(subclass IncendiaryDeviceAttack ViolentContest)	Mid-level-ontology.kif 21934-21934	Incendiary device attack is a subclass of violent contest
(subclass KnifeAttack ViolentContest)	Mid-level-ontology.kif 21976-21976	Knife attack is a subclass of violent contest
(subclass MilitaryAssault ViolentContest)	MilitaryProcesses.kif 421-421	Military assault is a subclass of violent contest
(subclass PhysicalViolence ViolentContest)	emotion.kif 1644-1644	Violence is a subclass of violent contest
(subclass PoliticalRevolution ViolentContest)	Mid-level-ontology.kif 13876-13876	Political revolution is a subclass of violent contest
(subclass Stoning ViolentContest)	Mid-level-ontology.kif 22075-22075	Stoning is a subclass of violent contest
(subclass Terrorism ViolentContest)	MilitaryProcesses.kif 2092-2092	Terrorism is a subclass of violent contest
(subclass VehicleAttack ViolentContest)	Mid-level-ontology.kif 22134-22134	Vehicle attack is a subclass of violent contest
(subclass War ViolentContest)	Merge.kif 13348-13348	War is a subclass of violent contest
(termFormat ChineseLanguage ViolentContest "暴力比赛")	chinese_format.kif 1209-1209
(termFormat EnglishLanguage ViolentContest "violent contest")	english_format.kif 1635-1635
(termFormat FrenchLanguage ViolentContest "affrontement violent")	french_format.kif 887-887
(termFormat Hindi ViolentContest "hinsaatmaka pratiyogitaa")	terms-hindi.txt 420-420
(termFormat ItalianLanguage ViolentContest "CompetizioneViolenta")	terms-it.txt 423-423
(termFormat JapaneseLanguage ViolentContest "激しいコンテスト")	japanese_format.kif 2571-2571
(termFormat cb ViolentContest "maharusong tutol")	terms-cb.txt 425-425
(termFormat cz ViolentContest "violent contest")	terms-cz.txt 459-459
(termFormat ro ViolentContest "competiþie violentã")	relations-ro.kif 908-908
(termFormat tg ViolentContest "matinding paligsahan")	terms-tg.txt 424-424

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

antecedent

(=> (and (instance ?ATTACK ViolentContest) (instrument ?ATTACK ?WEAPON) (instance ?WEAPON BiochemicalWeapon)) (instance ?ATTACK BiochemicalAttack))	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
(=> (and (instance ?MANEUVER Maneuver) (instance ?CONTEST ViolentContest) (subProcess ?MANEUVER ?CONTEST)) (or (instance ?MANEUVER Attack) (instance ?MANEUVER DefensiveManeuver)))	Merge.kif 13464-13471	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
(=> (and (instance ?V ViolentContest) (patient ?V ?H) (attribute ?H (InjuryCausedFn ?PC)) (attribute ?H (ImpairedBodyPartFn Airway))) (modalAttribute (or (subclass ?PC Combustion) (exists (?FI) (and (instance ?I Injuring) (located ?I ?F) (instance ?F Face) (patient ?I ?H)))) Likely))	Medicine.kif 698-715	If a process is an instance of violent contest and an object is a patient of the process and an injury caused by another kind of process is an attribute of the object and impaired body part fn airway is an attribute of the object, then the statement another kind of process is a subclass of burning or there exists an entity such that another entity is an instance of injuring and the other entity is located at a third entity and the third entity is an instance of face and the object is a patient of the other entity has the modal force of likely

consequent

(=> (holdsDuring ?T (attribute ?H PostTraumaticStressDisorder)) (exists (?V) (and (instance ?V ViolentContest) (earlier (WhenFn ?V) ?T) (involvedInEvent ?V ?H))))	Mid-level-ontology.kif 9746-9754	If PTSD is an attribute of an entity holds during a time interval, then there exists a process such that the process is an instance of violent contest and the time of existence of the process happens earlier than the time interval and the entity is an involved in event of the process
(=> (instance ?ATTACK Attack) (exists (?CONTEST) (and (instance ?CONTEST ViolentContest) (subProcess ?ATTACK ?CONTEST))))	Merge.kif 13424-13429	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
(=> (instance ?BATTLE Battle) (exists (?ATTACK) (and (instance ?ATTACK ViolentContest) (subProcess ?ATTACK ?BATTLE))))	Merge.kif 13387-13392	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
(=> (instance ?DEFENSE DefensiveManeuver) (exists (?CONTEST) (and (instance ?CONTEST ViolentContest) (subProcess ?DEFENSE ?CONTEST))))	Merge.kif 13446-13451	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
(=> (instance ?ORG MilitaryForce) (capability ViolentContest agent ?ORG))	Merge.kif 16684-16686	If an object is an instance of military force, then the object is capable of doing violent contest as a agent
(=> (instance ?PKU PeacekeepingUnit) (capability (KappaFn ?P (and (instance ?P Process) (instance ?V ViolentContest) (prevents ?P ?V))) agent ?PKU))	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
(=> (instance ?X TerroristOrganization) (exists (?EV) (and (instance ?EV ViolentContest) (agent ?EV ?X))))	Mid-level-ontology.kif 22617-22622	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

KB Term:			Term intersection

English Word: