Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  ]  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...

appearance as argument number 1
-------------------------


(subclass ViolentContest Contest) Merge.kif 13498-13498 Violent contest is a subclass of contest
(documentation ViolentContest EnglishLanguage "A Contest where one participant attempts to physically injure another participant.") Merge.kif 13499-13500 Violent contest is a subclass of contest
(externalImage ViolentContest "http://upload.wikimedia.org/wikipedia/commons/ thumb/ 4/ 4f/ Boxing080905_photoshop.jpg/ 200px_Boxing080905_photoshop.jpg") pictureList.kif 10330-10330 Violent contest is a subclass of contest
(externalImage ViolentContest "http://upload.wikimedia.org/wikipedia/commons/ d/ d9/ Ouch_boxing_footwork.jpg") pictureList.kif 12135-12135 Violent contest is a subclass of contest
(externalImage ViolentContest "http://upload.wikimedia.org/wikipedia/commons/ e/ ee/ Wushu_dao.jpg") pictureList.kif 12136-12136 Violent contest is a subclass of contest
(externalImage ViolentContest "http://upload.wikimedia.org/wikipedia/commons/ 9/ 9b/ Kick.JPG") pictureList.kif 12137-12137 Violent contest is a subclass of contest

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


(subclass War ViolentContest) Merge.kif 13502-13502 War is a subclass of violent contest
(subclass Battle ViolentContest) Merge.kif 13527-13527 Battle is a subclass of violent contest
(subclass PoliticalRevolution ViolentContest) Mid-level-ontology.kif 15376-15376 Political revolution is a subclass of violent contest
(subclass ChemicalAttack ViolentContest) Mid-level-ontology.kif 24209-24209 Chemical attack is a subclass of violent contest
(subclass IncendiaryDeviceAttack ViolentContest) Mid-level-ontology.kif 24297-24297 Incendiary device attack is a subclass of violent contest
(subclass KnifeAttack ViolentContest) Mid-level-ontology.kif 24339-24339 Knife attack is a subclass of violent contest
(subclass Stoning ViolentContest) Mid-level-ontology.kif 24438-24438 Stoning is a subclass of violent contest
(subclass VehicleAttack ViolentContest) Mid-level-ontology.kif 24497-24497 Vehicle 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 MilitaryAssault ViolentContest) MilitaryProcesses.kif 421-421 Military assault is a subclass of violent contest
(subclass Terrorism ViolentContest) MilitaryProcesses.kif 2111-2111 Terrorism is a subclass of violent contest
(subclass Boxing ViolentContest) Sports.kif 596-596 Boxing is a subclass of violent contest
(subclass PhysicalViolence ViolentContest) emotion.kif 2300-2300 Violence is a subclass of violent contest
(termFormat EnglishLanguage ViolentContest "violent contest") english_format.kif 1635-1635 Violence is a subclass of violent contest

antecedent
-------------------------


(=>
    (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 676-693 If X is an instance of violent contest, Y is a patient of X, an injury caused by Z is an attribute of Y, and impaired body part fn airway is an attribute of Y, then the statement Z is a subclass of burning or there exists W such that V is an instance of injuring, V is located at U, U is an instance of face, and Y is a patient of V has the modal force of likely
(=>
    (and
        (instance ?MANEUVER Maneuver)
        (instance ?CONTEST ViolentContest)
        (subProcess ?MANEUVER ?CONTEST))
    (or
        (instance ?MANEUVER Attack)
        (instance ?MANEUVER DefensiveManeuver)))		 Merge.kif 13618-13625 If X is an instance of maneuver, Y is an instance of violent contest, and X is a subprocess of Y, then X is an instance of attack or X is an instance of defensive maneuver
(=>
    (and
        (instance ?ATTACK ViolentContest)
        (instrument ?ATTACK ?WEAPON)
        (instance ?WEAPON BiochemicalWeapon))
    (instance ?ATTACK BiochemicalAttack))		 WMD.kif 57-62 If X is an instance of violent contest, Y is an instrument for X, and Y is an instance of biochemical weapon, then X is an instance of biochemical attack

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


(=>
    (instance ?BATTLE Battle)
    (exists (?ATTACK)
        (and
            (instance ?ATTACK ViolentContest)
            (subProcess ?ATTACK ?BATTLE))))		 Merge.kif 13541-13546 If X is an instance of battle, then there exists Y such that Y is an instance of violent contest and Y is a subprocess of X
(=>
    (instance ?ATTACK Attack)
    (exists (?CONTEST)
        (and
            (instance ?CONTEST ViolentContest)
            (subProcess ?ATTACK ?CONTEST))))		 Merge.kif 13578-13583 If X is an instance of attack, then there exists Y such that Y is an instance of violent contest and X is a subprocess of Y
(=>
    (instance ?DEFENSE DefensiveManeuver)
    (exists (?CONTEST)
        (and
            (instance ?CONTEST ViolentContest)
            (subProcess ?DEFENSE ?CONTEST))))		 Merge.kif 13600-13605 If X is an instance of defensive maneuver, then there exists Y such that Y is an instance of violent contest and X is a subprocess of Y
(=>
    (instance ?ORG MilitaryForce)
    (capability ViolentContest agent ?ORG))		 Merge.kif 16862-16864 If X is an instance of military force, then X is capable of doing violent contest as a agent
(=>
    (holdsDuring ?T
        (attribute ?H PostTraumaticStressDisorder))
    (exists (?V)
        (and
            (instance ?V ViolentContest)
            (earlier
                (WhenFn ?V) ?T)
            (involvedInEvent ?V ?H))))		 Mid-level-ontology.kif 11115-11123 If PTSD is an attribute of X holds during Y, then there exists Z such that Z is an instance of violent contest, the time of existence of Z happens earlier than Y, and X is an involved in event of Z
(=>
    (instance ?X TerroristOrganization)
    (exists (?EV)
        (and
            (instance ?EV ViolentContest)
            (agent ?EV ?X))))		 Mid-level-ontology.kif 24978-24983 If X is an instance of terrorist organization, then there exists Y such that Y is an instance of violent contest and X is an agent of Y
(=>
    (instance ?PKU PeacekeepingUnit)
    (capability
        (KappaFn ?P
            (and
                (instance ?P Process)
                (instance ?V ViolentContest)
                (prevents ?P ?V))) agent ?PKU))		 Military.kif 89-96 If X is an instance of peacekeeping unit, then X is capable of doing the class described by Y as a agent


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