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

Formal Language: 



KB Term:  Term intersection
English Word: 

  ViolentContest

Sigma KEE - ViolentContest
ViolentContest(暴力比赛)

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 13369-13370
(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 13368-13368 暴力比赛比赛subclass

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


(subclass Battle ViolentContest) Merge.kif 13397-13397 战斗暴力比赛subclass
(subclass Boxing ViolentContest) Sports.kif 584-584 拳击暴力比赛subclass
(subclass ChemicalAttack ViolentContest) Mid-level-ontology.kif 21901-21901 化学攻击暴力比赛subclass
(subclass DirectAction ViolentContest) MilitaryProcesses.kif 325-325 直接行动暴力比赛subclass
(subclass DirectActionActivity ViolentContest) MilitaryProcesses.kif 389-389 直接行动活动暴力比赛subclass
(subclass IncendiaryDeviceAttack ViolentContest) Mid-level-ontology.kif 21987-21987 燃烧装置攻击暴力比赛subclass
(subclass KnifeAttack ViolentContest) Mid-level-ontology.kif 22029-22029 刀攻击暴力比赛subclass
(subclass MilitaryAssault ViolentContest) MilitaryProcesses.kif 421-421 军事攻击暴力比赛subclass
(subclass PhysicalViolence ViolentContest) emotion.kif 1644-1644 PhysicalViolence暴力比赛subclass
(subclass PoliticalRevolution ViolentContest) Mid-level-ontology.kif 13904-13904 政治革命暴力比赛subclass
(subclass Stoning ViolentContest) Mid-level-ontology.kif 22128-22128 乱石暴力比赛subclass
(subclass Terrorism ViolentContest) MilitaryProcesses.kif 2092-2092 恐怖主义暴力比赛subclass
(subclass VehicleAttack ViolentContest) Mid-level-ontology.kif 22187-22187 车辆攻击暴力比赛subclass
(subclass War ViolentContest) Merge.kif 13372-13372 战争暴力比赛subclass
(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 13488-13495
(=>
    (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 9774-9782
(=>
    (instance ?ATTACK Attack)
    (exists (?CONTEST)
        (and
            (instance ?CONTEST ViolentContest)
            (subProcess ?ATTACK ?CONTEST))))
Merge.kif 13448-13453
(=>
    (instance ?BATTLE Battle)
    (exists (?ATTACK)
        (and
            (instance ?ATTACK ViolentContest)
            (subProcess ?ATTACK ?BATTLE))))
Merge.kif 13411-13416
(=>
    (instance ?DEFENSE DefensiveManeuver)
    (exists (?CONTEST)
        (and
            (instance ?CONTEST ViolentContest)
            (subProcess ?DEFENSE ?CONTEST))))
Merge.kif 13470-13475
(=>
    (instance ?ORG MilitaryForce)
    (capability ViolentContest agent ?ORG))
Merge.kif 16733-16735
(=>
    (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 22670-22675


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