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 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	ViolentContest e' uma sub-classe de Contest

appearance as argument number 2

(subclass Battle ViolentContest)	Merge.kif 13373-13373	Batalha e' uma sub-classe de ViolentContest
(subclass Boxing ViolentContest)	Sports.kif 584-584	Boxing e' uma sub-classe de ViolentContest
(subclass ChemicalAttack ViolentContest)	Mid-level-ontology.kif 21848-21848	ChemicalAttack e' uma sub-classe de ViolentContest
(subclass DirectAction ViolentContest)	MilitaryProcesses.kif 325-325	DirectAction e' uma sub-classe de ViolentContest
(subclass DirectActionActivity ViolentContest)	MilitaryProcesses.kif 389-389	DirectActionActivity e' uma sub-classe de ViolentContest
(subclass IncendiaryDeviceAttack ViolentContest)	Mid-level-ontology.kif 21934-21934	IncendiaryDeviceAttack e' uma sub-classe de ViolentContest
(subclass KnifeAttack ViolentContest)	Mid-level-ontology.kif 21976-21976	KnifeAttack e' uma sub-classe de ViolentContest
(subclass MilitaryAssault ViolentContest)	MilitaryProcesses.kif 421-421	MilitaryAssault e' uma sub-classe de ViolentContest
(subclass PhysicalViolence ViolentContest)	emotion.kif 1644-1644	PhysicalViolence e' uma sub-classe de ViolentContest
(subclass PoliticalRevolution ViolentContest)	Mid-level-ontology.kif 13876-13876	PoliticalRevolution e' uma sub-classe de ViolentContest
(subclass Stoning ViolentContest)	Mid-level-ontology.kif 22075-22075	Stoning e' uma sub-classe de ViolentContest
(subclass Terrorism ViolentContest)	MilitaryProcesses.kif 2092-2092	Terrorism e' uma sub-classe de ViolentContest
(subclass VehicleAttack ViolentContest)	Mid-level-ontology.kif 22134-22134	VehicleAttack e' uma sub-classe de ViolentContest
(subclass War ViolentContest)	Merge.kif 13348-13348	Guerra e' uma sub-classe de 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	Processo e' uma instancia de ViolentContest Objeto e' um instrumento para Processo Objeto e' uma instancia de BiochemicalWeapon Processo e' uma instancia de BiochemicalAttack
(=> (and (instance ?MANEUVER Maneuver) (instance ?CONTEST ViolentContest) (subProcess ?MANEUVER ?CONTEST)) (or (instance ?MANEUVER Attack) (instance ?MANEUVER DefensiveManeuver)))	Merge.kif 13464-13471	Processo e' uma instancia de Manobra Processo e' uma instancia de ViolentContest Processo e' um sub-processo de Processo Processo e' uma instancia de Attack Processo e' uma instancia de DefensiveManeuver
(=> (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	Processo e' uma instancia de ViolentContest Objeto e' um patient de Processo InjuryCausedFn Processo e' um atributo de Objeto ImpairedBodyPartFn Airway e' um atributo de Objeto o argumento Processo e' uma sub-classe de Combustao Entidade Entidade e' uma instancia de Ferir Entidade e' situado em Entidade Entidade e' uma instancia de Face Objeto e' um patient de Entidade tem a forca modal de 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	PostTraumaticStressDisorder e' um atributo de Entidade vale durante Intervalo Temporal Processo Processo e' uma instancia de ViolentContest tempo de existencia de Processo acontence antes de Intervalo Temporal involvedInEvent Processo and Entidade
(=> (instance ?ATTACK Attack) (exists (?CONTEST) (and (instance ?CONTEST ViolentContest) (subProcess ?ATTACK ?CONTEST))))	Merge.kif 13424-13429	Processo e' uma instancia de Attack Processo Processo e' uma instancia de ViolentContest Processo e' um sub-processo de Processo
(=> (instance ?BATTLE Battle) (exists (?ATTACK) (and (instance ?ATTACK ViolentContest) (subProcess ?ATTACK ?BATTLE))))	Merge.kif 13387-13392	Processo e' uma instancia de Batalha Processo Processo e' uma instancia de ViolentContest Processo e' um sub-processo de Processo
(=> (instance ?DEFENSE DefensiveManeuver) (exists (?CONTEST) (and (instance ?CONTEST ViolentContest) (subProcess ?DEFENSE ?CONTEST))))	Merge.kif 13446-13451	Processo e' uma instancia de DefensiveManeuver Processo Processo e' uma instancia de ViolentContest Processo e' um sub-processo de Processo
(=> (instance ?ORG MilitaryForce) (capability ViolentContest agent ?ORG))	Merge.kif 16684-16686	Objeto e' uma instancia de MilitaryForce Objeto e' capaz de fazer ViolentContest no role agent
(=> (instance ?PKU PeacekeepingUnit) (capability (KappaFn ?P (and (instance ?P Process) (instance ?V ViolentContest) (prevents ?P ?V))) agent ?PKU))	Military.kif 89-96	Objeto e' uma instancia de PeacekeepingUnit Objeto e' capaz de fazer a classe descrita por Sequencia Simbolica no role agent
(=> (instance ?X TerroristOrganization) (exists (?EV) (and (instance ?EV ViolentContest) (agent ?EV ?X))))	Mid-level-ontology.kif 22617-22622	AutonomousAgent e' uma instancia de TerroristOrganization Processo Processo e' uma instancia de ViolentContest Processo e' um agente de AutonomousAgent

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: