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...

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 13462-13463
(externalImage ViolentContest "http://upload.wikimedia.org/wikipedia/commons/ 9/ 9b/ Kick.JPG") pictureList.kif 12137-12137
(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/ thumb/ 4/ 4f/ Boxing080905_photoshop.jpg/ 200px_Boxing080905_photoshop.jpg") pictureList.kif 10330-10330
(subclass ViolentContest Contest) Merge.kif 13461-13461 Violent contest is a subclass of contest

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


(subclass Battle ViolentContest) Merge.kif 13490-13490 Battle is a subclass of violent contest
(subclass Boxing ViolentContest) Sports.kif 596-596 Boxing is a subclass of violent contest
(subclass ChemicalAttack ViolentContest) Mid-level-ontology.kif 23508-23508 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 23595-23595 Incendiary device attack is a subclass of violent contest
(subclass KnifeAttack ViolentContest) Mid-level-ontology.kif 23637-23637 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 1644-1644 Violence is a subclass of violent contest
(subclass PoliticalRevolution ViolentContest) Mid-level-ontology.kif 15266-15266 Political revolution is a subclass of violent contest
(subclass Stoning ViolentContest) Mid-level-ontology.kif 23736-23736 Stoning is a subclass of violent contest
(subclass Terrorism ViolentContest) MilitaryProcesses.kif 2092-2092 Terrorism is a subclass of violent contest
(subclass VehicleAttack ViolentContest) Mid-level-ontology.kif 23795-23795 Vehicle attack is a subclass of violent contest
(subclass War ViolentContest) Merge.kif 13465-13465 War is a subclass of violent contest
(termFormat ChineseLanguage ViolentContest "暴力比赛") chinese_format.kif 1209-1209 War is a subclass of violent contest
(termFormat EnglishLanguage ViolentContest "violent contest") english_format.kif 1635-1635 War is a subclass of violent contest
(termFormat FrenchLanguage ViolentContest "affrontement violent") french_format.kif 887-887 War is a subclass of violent contest
(termFormat Hindi ViolentContest "hinsaatmaka pratiyogitaa") terms-hindi.txt 420-420 War is a subclass of violent contest
(termFormat ItalianLanguage ViolentContest "CompetizioneViolenta") terms-it.txt 423-423 War is a subclass of violent contest
(termFormat JapaneseLanguage ViolentContest "激しいコンテスト") japanese_format.kif 2571-2571 War is a subclass of violent contest
(termFormat cb ViolentContest "maharusong tutol") terms-cb.txt 425-425 War is a subclass of violent contest
(termFormat cz ViolentContest "violent contest") terms-cz.txt 459-459 War is a subclass of violent contest
(termFormat de ViolentContest "heftiger Kampf") terms-de.txt 718-718 War is a subclass of violent contest
(termFormat ro ViolentContest "competiþie violentã") relations-ro.kif 908-908 War is a subclass of violent contest

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 13581-13588
(=>
    (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 689-706

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


(=>
    (holdsDuring ?T
        (attribute ?H PostTraumaticStressDisorder))
    (exists (?V)
        (and
            (instance ?V ViolentContest)
            (earlier
                (WhenFn ?V) ?T)
            (involvedInEvent ?V ?H))))		 Mid-level-ontology.kif 11094-11102
(=>
    (instance ?ATTACK Attack)
    (exists (?CONTEST)
        (and
            (instance ?CONTEST ViolentContest)
            (subProcess ?ATTACK ?CONTEST))))		 Merge.kif 13541-13546
(=>
    (instance ?BATTLE Battle)
    (exists (?ATTACK)
        (and
            (instance ?ATTACK ViolentContest)
            (subProcess ?ATTACK ?BATTLE))))		 Merge.kif 13504-13509
(=>
    (instance ?DEFENSE DefensiveManeuver)
    (exists (?CONTEST)
        (and
            (instance ?CONTEST ViolentContest)
            (subProcess ?DEFENSE ?CONTEST))))		 Merge.kif 13563-13568
(=>
    (instance ?ORG MilitaryForce)
    (capability ViolentContest agent ?ORG))		 Merge.kif 16822-16824
(=>
    (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 24278-24283


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