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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - ViolentContest
ViolentContest(violent contest)
Operation_Desert_Storm, active, affaire_d'honneur, affray, aggravated_assault, aggression, air_attack, air_raid, ambuscade, ambush, amphibious_assault, area_bombing, assail, assault, assault_and_battery, assaultive, atomise, atomize, attack, attacking, attempt, bait, bandy, banging, banzai_attack, banzai_charge, barricade, barricado, battering, battery, battle, beating, beleaguer, besiege, blast, blindside, blitz, blitzkrieg, block_off, blockade, blood_feud, bloodily, bloodlessly, bombardment, bombing, bombing_run, box, brawl, breakthrough, bushwhack...

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 12255-12256
(externalImage ViolentContest "http://upload.wikimedia.org/wikipedia/commons/ 9/ 9b/ Kick.JPG") pictureList.kif 12175-12175 "http://upload.wikimedia.org/wikipedia/commons/9/9b/ Kick.JPG" is a URL depicting violent contest
(externalImage ViolentContest "http://upload.wikimedia.org/wikipedia/commons/ d/ d9/ Ouch-boxing-footwork.jpg") pictureList.kif 12173-12173 "http://upload.wikimedia.org/wikipedia/commons/d/d9/ Ouch-boxing-footwork.jpg" is a URL depicting violent contest
(externalImage ViolentContest "http://upload.wikimedia.org/wikipedia/commons/ e/ ee/ Wushu_dao.jpg") pictureList.kif 12174-12174 "http://upload.wikimedia.org/wikipedia/commons/e/ee/ Wushu_dao.jpg" is a URL depicting violent contest
(externalImage ViolentContest "http://upload.wikimedia.org/wikipedia/commons/ thumb/ 4/ 4f/ Boxing080905_photoshop.jpg/ 200px-Boxing080905_photoshop.jpg") pictureList.kif 10353-10353 "http://upload.wikimedia.org/wikipedia/commons/thumb/ 4/ 4f/ Boxing080905_photoshop.jpg/ 200px-Boxing080905_photoshop.jpg" is a URL depicting violent contest
(subclass ViolentContest Contest) Merge.kif 12254-12254 Violent contest is a subclass of contest

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


(subclass Battle ViolentContest) Merge.kif 12283-12283 Battle is a subclass of violent contest
(subclass Boxing ViolentContest) Sports.kif 470-470 Boxing is a subclass of violent contest
(subclass ChemicalAttack ViolentContest) Mid-level-ontology.kif 19637-19637 Chemical attack is a subclass of violent contest
(subclass DirectAction ViolentContest) MilitaryProcesses.kif 325-325 Direct action is a subclass of violent contest
(subclass DirectActionActivity ViolentContest) MilitaryProcesses.kif 389-389 Direct action activity is a subclass of violent contest
(subclass IncendiaryDeviceAttack ViolentContest) Mid-level-ontology.kif 19721-19721 Incendiary device attack is a subclass of violent contest
(subclass KnifeAttack ViolentContest) Mid-level-ontology.kif 19763-19763 Knife attack is a subclass of violent contest
(subclass MilitaryAssault ViolentContest) MilitaryProcesses.kif 421-421 Military assault is a subclass of violent contest
(subclass PhysicalViolence ViolentContest) emotion.kif 1611-1611 Violence is a subclass of violent contest
(subclass PoliticalRevolution ViolentContest) Mid-level-ontology.kif 11486-11486 Political revolution is a subclass of violent contest
(subclass Stoning ViolentContest) Mid-level-ontology.kif 19861-19861 Stoning is a subclass of violent contest
(subclass Terrorism ViolentContest) MilitaryProcesses.kif 2074-2074 Terrorism is a subclass of violent contest
(subclass VehicleAttack ViolentContest) Mid-level-ontology.kif 19925-19925 Vehicle attack is a subclass of violent contest
(subclass War ViolentContest) Merge.kif 12258-12258 War is a subclass of violent contest
(termFormat ChineseLanguage ViolentContest "暴力比赛") chinese_format.kif 1209-1209 "暴力比赛" is the printable form of violent contest in ChineseLanguage
(termFormat EnglishLanguage ViolentContest "violent contest") english_format.kif 1640-1640 "violent contest" is the printable form of violent contest in english language

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 12374-12381

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


(=>
    (instance ?ATTACK Attack)
    (exists (?CONTEST)
        (and
            (instance ?CONTEST ViolentContest)
            (subProcess ?ATTACK ?CONTEST))))
Merge.kif 12334-12339
(=>
    (instance ?BATTLE Battle)
    (exists (?ATTACK)
        (and
            (instance ?ATTACK ViolentContest)
            (subProcess ?ATTACK ?BATTLE))))
Merge.kif 12297-12302
(=>
    (instance ?DEFENSE DefensiveManeuver)
    (exists (?CONTEST)
        (and
            (instance ?CONTEST ViolentContest)
            (subProcess ?DEFENSE ?CONTEST))))
Merge.kif 12356-12361
(=>
    (instance ?ORG MilitaryForce)
    (capability ViolentContest agent ?ORG))
Merge.kif 15369-15371
(=>
    (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 20486-20491


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