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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - ViolentContest
ViolentContest

VerbNet: exist-47.1|lurk, exist-47.1|lurk, confront-98|combat, fill-9.8|surround, fill-9.8|surround, meet-36.3|box, exist-47.1|lurk, fill-9.8|surround, confront-98|combat, meet-36.3|fight, battle-36.4|duel, meet-36.3|fight, butter-9.9|gas, fill-9.8|surround, battle-36.4|joust, exist-47.1|lurk, exist-47.1|lurk, equip-13.4.2|rearm, equip-13.4.2|rearm, battle-36.4|tussle, exist-47.1|lurk, battle-36.4|spar, meet-36.3|fight, fill-9.8|surround, battle-36.4|tilt, battle-36.4|tussle, exist-47.1|lurk,


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 12356-12357
(externalImage ViolentContest "http://upload.wikimedia.org/wikipedia/commons/ 9/ 9b/ Kick.JPG") pictureList.kif 12175-12175
(externalImage ViolentContest "http://upload.wikimedia.org/wikipedia/commons/ d/ d9/ Ouch-boxing-footwork.jpg") pictureList.kif 12173-12173
(externalImage ViolentContest "http://upload.wikimedia.org/wikipedia/commons/ e/ ee/ Wushu_dao.jpg") pictureList.kif 12174-12174
(externalImage ViolentContest "http://upload.wikimedia.org/wikipedia/commons/ thumb/ 4/ 4f/ Boxing080905_photoshop.jpg/ 200px-Boxing080905_photoshop.jpg") pictureList.kif 10353-10353
(subclass ViolentContest Contest) Merge.kif 12355-12355

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


(subclass Battle ViolentContest) Merge.kif 12384-12384
(subclass Boxing ViolentContest) Sports.kif 470-470
(subclass ChemicalAttack ViolentContest) Mid-level-ontology.kif 19701-19701
(subclass DirectAction ViolentContest) MilitaryProcesses.kif 325-325
(subclass DirectActionActivity ViolentContest) MilitaryProcesses.kif 389-389
(subclass IncendiaryDeviceAttack ViolentContest) Mid-level-ontology.kif 19785-19785
(subclass KnifeAttack ViolentContest) Mid-level-ontology.kif 19827-19827
(subclass MilitaryAssault ViolentContest) MilitaryProcesses.kif 421-421
(subclass PhysicalViolence ViolentContest) emotion.kif 1612-1612
(subclass PoliticalRevolution ViolentContest) Mid-level-ontology.kif 11539-11539
(subclass Stoning ViolentContest) Mid-level-ontology.kif 19925-19925
(subclass Terrorism ViolentContest) MilitaryProcesses.kif 2074-2074
(subclass VehicleAttack ViolentContest) Mid-level-ontology.kif 19989-19989
(subclass War ViolentContest) Merge.kif 12359-12359
(termFormat ChineseLanguage ViolentContest "暴力比赛") chinese_format.kif 1209-1209
(termFormat EnglishLanguage ViolentContest "violent contest") english_format.kif 1640-1640

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 12475-12482

consequent
-------------------------


(=>
    (instance ?ATTACK Attack)
    (exists (?CONTEST)
        (and
            (instance ?CONTEST ViolentContest)
            (subProcess ?ATTACK ?CONTEST))))
Merge.kif 12435-12440
(=>
    (instance ?BATTLE Battle)
    (exists (?ATTACK)
        (and
            (instance ?ATTACK ViolentContest)
            (subProcess ?ATTACK ?BATTLE))))
Merge.kif 12398-12403
(=>
    (instance ?DEFENSE DefensiveManeuver)
    (exists (?CONTEST)
        (and
            (instance ?CONTEST ViolentContest)
            (subProcess ?DEFENSE ?CONTEST))))
Merge.kif 12457-12462
(=>
    (instance ?ORG MilitaryForce)
    (capability ViolentContest agent ?ORG))
Merge.kif 15472-15474
(=>
    (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 20550-20555


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners