Browsing Interface : Welcome guest : log in		 [  Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - ViolentContest
ViolentContest(CompetizioneViolenta)

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 CompetizioneViolenta è una sottoclasse di Competizione

appearance as argument number 2
-------------------------


(subclass Battle ViolentContest) Merge.kif 13373-13373 Battaglia è una sottoclasse di CompetizioneViolenta
(subclass Boxing ViolentContest) Sports.kif 584-584 Boxing è una sottoclasse di CompetizioneViolenta
(subclass ChemicalAttack ViolentContest) Mid-level-ontology.kif 21848-21848 ChemicalAttack è una sottoclasse di CompetizioneViolenta
(subclass DirectAction ViolentContest) MilitaryProcesses.kif 325-325 DirectAction è una sottoclasse di CompetizioneViolenta
(subclass DirectActionActivity ViolentContest) MilitaryProcesses.kif 389-389 DirectActionActivity è una sottoclasse di CompetizioneViolenta
(subclass IncendiaryDeviceAttack ViolentContest) Mid-level-ontology.kif 21934-21934 IncendiaryDeviceAttack è una sottoclasse di CompetizioneViolenta
(subclass KnifeAttack ViolentContest) Mid-level-ontology.kif 21976-21976 KnifeAttack è una sottoclasse di CompetizioneViolenta
(subclass MilitaryAssault ViolentContest) MilitaryProcesses.kif 421-421 MilitaryAssault è una sottoclasse di CompetizioneViolenta
(subclass PhysicalViolence ViolentContest) emotion.kif 1644-1644 PhysicalViolence è una sottoclasse di CompetizioneViolenta
(subclass PoliticalRevolution ViolentContest) Mid-level-ontology.kif 13876-13876 PoliticalRevolution è una sottoclasse di CompetizioneViolenta
(subclass Stoning ViolentContest) Mid-level-ontology.kif 22075-22075 Stoning è una sottoclasse di CompetizioneViolenta
(subclass Terrorism ViolentContest) MilitaryProcesses.kif 2092-2092 Terrorism è una sottoclasse di CompetizioneViolenta
(subclass VehicleAttack ViolentContest) Mid-level-ontology.kif 22134-22134 VehicleAttack è una sottoclasse di CompetizioneViolenta
(subclass War ViolentContest) Merge.kif 13348-13348 Guerra è una sottoclasse di CompetizioneViolenta
(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
(=>
    (and
        (instance ?MANEUVER Maneuver)
        (instance ?CONTEST ViolentContest)
        (subProcess ?MANEUVER ?CONTEST))
    (or
        (instance ?MANEUVER Attack)
        (instance ?MANEUVER DefensiveManeuver)))		 Merge.kif 13464-13471
(=>
    (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

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
(=>
    (instance ?ATTACK Attack)
    (exists (?CONTEST)
        (and
            (instance ?CONTEST ViolentContest)
            (subProcess ?ATTACK ?CONTEST))))		 Merge.kif 13424-13429
(=>
    (instance ?BATTLE Battle)
    (exists (?ATTACK)
        (and
            (instance ?ATTACK ViolentContest)
            (subProcess ?ATTACK ?BATTLE))))		 Merge.kif 13387-13392
(=>
    (instance ?DEFENSE DefensiveManeuver)
    (exists (?CONTEST)
        (and
            (instance ?CONTEST ViolentContest)
            (subProcess ?DEFENSE ?CONTEST))))		 Merge.kif 13446-13451
(=>
    (instance ?ORG MilitaryForce)
    (capability ViolentContest agent ?ORG))		 Merge.kif 16684-16686
(=>
    (instance ?PKU PeacekeepingUnit)
    (capability
        (KappaFn ?P
            (and
                (instance ?P Process)
                (instance ?V ViolentContest)
                (prevents ?P ?V))) agent ?PKU))		 Military.kif 89-96
(=>
    (instance ?X TerroristOrganization)
    (exists (?EV)
        (and
            (instance ?EV ViolentContest)
            (agent ?EV ?X))))		 Mid-level-ontology.kif 22617-22622


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