TreeView 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 13323-13324
(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 13322-13322	ViolentContest ist eine teilkategorie von Contest

appearance as argument number 2

(subclass Battle ViolentContest)	Merge.kif 13351-13351	Battle ist eine teilkategorie von ViolentContest
(subclass Boxing ViolentContest)	Sports.kif 584-584	Boxing ist eine teilkategorie von ViolentContest
(subclass ChemicalAttack ViolentContest)	Mid-level-ontology.kif 21849-21849	ChemicalAttack ist eine teilkategorie von ViolentContest
(subclass DirectAction ViolentContest)	MilitaryProcesses.kif 325-325	DirectAction ist eine teilkategorie von ViolentContest
(subclass DirectActionActivity ViolentContest)	MilitaryProcesses.kif 389-389	DirectActionActivity ist eine teilkategorie von ViolentContest
(subclass IncendiaryDeviceAttack ViolentContest)	Mid-level-ontology.kif 21935-21935	IncendiaryDeviceAttack ist eine teilkategorie von ViolentContest
(subclass KnifeAttack ViolentContest)	Mid-level-ontology.kif 21977-21977	KnifeAttack ist eine teilkategorie von ViolentContest
(subclass MilitaryAssault ViolentContest)	MilitaryProcesses.kif 421-421	MilitaryAssault ist eine teilkategorie von ViolentContest
(subclass PhysicalViolence ViolentContest)	emotion.kif 1644-1644	PhysicalViolence ist eine teilkategorie von ViolentContest
(subclass PoliticalRevolution ViolentContest)	Mid-level-ontology.kif 13877-13877	PoliticalRevolution ist eine teilkategorie von ViolentContest
(subclass Stoning ViolentContest)	Mid-level-ontology.kif 22076-22076	Stoning ist eine teilkategorie von ViolentContest
(subclass Terrorism ViolentContest)	MilitaryProcesses.kif 2092-2092	Terrorism ist eine teilkategorie von ViolentContest
(subclass VehicleAttack ViolentContest)	Mid-level-ontology.kif 22135-22135	VehicleAttack ist eine teilkategorie von ViolentContest
(subclass War ViolentContest)	Merge.kif 13326-13326	War ist eine teilkategorie von ViolentContest
(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	Wenn Process ist ein fall von ViolentContest %n{nicht} und Object ist ein instrument fuer Process %n{nicht} und Object ist ein fall von BiochemicalWeapon %n{nicht}, dann ** Process ist ein fall von BiochemicalAttack %n{nicht}
(=> (and (instance ?MANEUVER Maneuver) (instance ?CONTEST ViolentContest) (subProcess ?MANEUVER ?CONTEST)) (or (instance ?MANEUVER Attack) (instance ?MANEUVER DefensiveManeuver)))	Merge.kif 13442-13449	Wenn Process ist ein fall von Maneuver %n{nicht} und Process ist ein fall von ViolentContest %n{nicht} und Process ist ein subProzess von Process, dann Process ist ein fall von Attack %n{nicht} oder Process ist ein fall von DefensiveManeuver %n{nicht}
(=> (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	Wenn Process ist ein fall von ViolentContest %n{nicht} und Object ist ein patient von Process %n{nicht} und InjuryCausedFn Process ist ein attribut von Object %n{nicht} und ImpairedBodyPartFn Airway ist ein attribut von Object %n{nicht}, dann die Aussage Process ist eine teilkategorie von Combustion oder es gibt entity um entity ist ein fall von Injuring %n{nicht} und entity befindet sich an %n{nicht} und entity ist ein fall von Face %n{nicht} und Object ist ein patient von entity %n{nicht} hat die modale Kraft von Likely

consequent

(=> (holdsDuring ?T (attribute ?H PostTraumaticStressDisorder)) (exists (?V) (and (instance ?V ViolentContest) (earlier (WhenFn ?V) ?T) (involvedInEvent ?V ?H))))	Mid-level-ontology.kif 9747-9755	Wenn PostTraumaticStressDisorder ist ein attribut von Entity %n{nicht} haelt waehrend TimeInterval %n{nicht}, dann es gibt Process um Process ist ein fall von ViolentContest %n{nicht} und die zeit des Bestehens von Process geschieht frueh als TimeInterval %n{nicht} und involvedInEvent Process and ** Entity
(=> (instance ?ATTACK Attack) (exists (?CONTEST) (and (instance ?CONTEST ViolentContest) (subProcess ?ATTACK ?CONTEST))))	Merge.kif 13402-13407	Wenn Process ist ein fall von Attack %n{nicht}, dann es gibt Process um Process ist ein fall von ViolentContest %n{nicht} und Process ist ein subProzess von Process
(=> (instance ?BATTLE Battle) (exists (?ATTACK) (and (instance ?ATTACK ViolentContest) (subProcess ?ATTACK ?BATTLE))))	Merge.kif 13365-13370	Wenn Process ist ein fall von Battle %n{nicht}, dann es gibt Process um Process ist ein fall von ViolentContest %n{nicht} und Process ist ein subProzess von Process
(=> (instance ?DEFENSE DefensiveManeuver) (exists (?CONTEST) (and (instance ?CONTEST ViolentContest) (subProcess ?DEFENSE ?CONTEST))))	Merge.kif 13424-13429	Wenn Process ist ein fall von DefensiveManeuver %n{nicht}, dann es gibt Process um Process ist ein fall von ViolentContest %n{nicht} und Process ist ein subProzess von Process
(=> (instance ?ORG MilitaryForce) (capability ViolentContest agent ?ORG))	Merge.kif 16662-16664	Wenn Object ist ein fall von MilitaryForce %n{nicht}, dann ** Object ist faehig %n{nicht}, in der Rolle agent ViolentContest zu tun
(=> (instance ?PKU PeacekeepingUnit) (capability (KappaFn ?P (and (instance ?P Process) (instance ?V ViolentContest) (prevents ?P ?V))) agent ?PKU))	Military.kif 89-96	Wenn Object ist ein fall von PeacekeepingUnit %n{nicht}, dann ** Object ist faehig %n{nicht}, in der Rolle agent die kategorie die SymbolicString beschreibt zu tun
(=> (instance ?X TerroristOrganization) (exists (?EV) (and (instance ?EV ViolentContest) (agent ?EV ?X))))	Mid-level-ontology.kif 22618-22623	Wenn AutonomousAgent ist ein fall von TerroristOrganization %n{nicht}, dann es gibt Process um Process ist ein fall von ViolentContest %n{nicht} und Process ist der agent von ** AutonomousAgent %n{nicht}

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

KB Term:			Term intersection

English Word: