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

KB Term:  Term intersection
English Word: 

Sigma KEE - ViolentContest
ViolentContest

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


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

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


(subclass War ViolentContest) Merge.kif 13636-13636
(subclass Battle ViolentContest) Merge.kif 13661-13661
(subclass PoliticalRevolution ViolentContest) Mid-level-ontology.kif 15478-15478
(subclass ChemicalAttack ViolentContest) Mid-level-ontology.kif 24138-24138
(subclass IncendiaryDeviceAttack ViolentContest) Mid-level-ontology.kif 24226-24226
(subclass KnifeAttack ViolentContest) Mid-level-ontology.kif 24268-24268
(subclass Stoning ViolentContest) Mid-level-ontology.kif 24367-24367
(subclass VehicleAttack ViolentContest) Mid-level-ontology.kif 24426-24426
(subclass DirectAction ViolentContest) MilitaryProcesses.kif 325-325
(subclass DirectActionActivity ViolentContest) MilitaryProcesses.kif 389-389
(subclass MilitaryAssault ViolentContest) MilitaryProcesses.kif 421-421
(subclass Terrorism ViolentContest) MilitaryProcesses.kif 2115-2115
(subclass Boxing ViolentContest) Sports.kif 610-610
(subclass PhysicalViolence ViolentContest) emotion.kif 2479-2479
(termFormat EnglishLanguage ViolentContest "violent contest") english_format.kif 1639-1639

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


(=>
    (and
        (instance ?MANEUVER Maneuver)
        (instance ?CONTEST ViolentContest)
        (subProcess ?MANEUVER ?CONTEST))
    (or
        (instance ?MANEUVER Attack)
        (instance ?MANEUVER DefensiveManeuver)))		 Merge.kif 13752-13759
(=>
    (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
(=>
    (and
        (instance ?ATTACK ViolentContest)
        (instrument ?ATTACK ?WEAPON)
        (instance ?WEAPON BiochemicalWeapon))
    (instance ?ATTACK BiochemicalAttack))		 WMD.kif 57-62

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


(=>
    (instance ?BATTLE Battle)
    (exists (?ATTACK)
        (and
            (instance ?ATTACK ViolentContest)
            (subProcess ?ATTACK ?BATTLE))))		 Merge.kif 13675-13680
(=>
    (instance ?ATTACK Attack)
    (exists (?CONTEST)
        (and
            (instance ?CONTEST ViolentContest)
            (subProcess ?ATTACK ?CONTEST))))		 Merge.kif 13712-13717
(=>
    (instance ?DEFENSE DefensiveManeuver)
    (exists (?CONTEST)
        (and
            (instance ?CONTEST ViolentContest)
            (subProcess ?DEFENSE ?CONTEST))))		 Merge.kif 13734-13739
(=>
    (instance ?ORG MilitaryForce)
    (capability ViolentContest agent ?ORG))		 Merge.kif 17019-17021
(=>
    (holdsDuring ?T
        (attribute ?H PostTraumaticStressDisorder))
    (exists (?V)
        (and
            (instance ?V ViolentContest)
            (earlier
                (WhenFn ?V) ?T)
            (involvedInEvent ?V ?H))))		 Mid-level-ontology.kif 11192-11200
(=>
    (instance ?X TerroristOrganization)
    (exists (?EV)
        (and
            (instance ?EV ViolentContest)
            (agent ?EV ?X))))		 Mid-level-ontology.kif 24904-24909
(=>
    (instance ?PKU PeacekeepingUnit)
    (capability
        (KappaFn ?P
            (and
                (instance ?P Process)
                (instance ?V ViolentContest)
                (prevents ?P ?V))) agent ?PKU))		 Military.kif 91-98
(=>
    (instance ?S Warship)
    (hasPurpose ?S
        (exists (?V ?R)
            (and
                (instance ?V ViolentContest)
                (eventLocated ?V ?R)
                (instance ?R BodyOfWater)
                (instrument ?V ?S)))))		 Military.kif 293-301
(=>
    (instance ?D Destroyer)
    (hasPurpose ?D
        (exists (?P ?F)
            (and
                (instance ?P Protecting)
                (instrument ?P ?D)
                (patient ?P ?F)
                (instance ?F Fleet)
                (memberType ?F MilitaryWaterVehicle)
                (capability ViolentContest instrument ?D)))))		 Military.kif 309-319
(=>
    (instance ?MV MilitarySupportVehicle)
    (hasPurpose ?MV
        (exists (?P)
            (and
                (instance ?P MilitaryProcess)
                (involvedInEvent ?P ?MV)
                (not
                    (exists (?A)
                        (and
                            (instance ?A ViolentContest)
                            (instrument ?A ?MV))))))))		 Military.kif 466-477


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.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners