ViolentContest
|
|
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 13345-13346 | |
(externalImage ViolentContest "http://upload.wikimedia.org/wikipedia/commons/ 9/ 9b/ Kick.JPG") | pictureList.kif 12148-12148 | |
(externalImage ViolentContest "http://upload.wikimedia.org/wikipedia/commons/ d/ d9/ Ouch-boxing-footwork.jpg") | pictureList.kif 12146-12146 | |
(externalImage ViolentContest "http://upload.wikimedia.org/wikipedia/commons/ e/ ee/ Wushu_dao.jpg") | pictureList.kif 12147-12147 | |
(externalImage ViolentContest "http://upload.wikimedia.org/wikipedia/commons/ thumb/ 4/ 4f/ Boxing080905_photoshop.jpg/ 200px-Boxing080905_photoshop.jpg") | pictureList.kif 10332-10332 | |
(subclass ViolentContest Contest) | Merge.kif 13344-13344 | ViolentContest ist eine teilkategorie von Contest |
appearance as argument number 2 |
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 13464-13471 |
|
(=> (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 698-715 |
|
consequent |
(=> (holdsDuring ?T (attribute ?H PostTraumaticStressDisorder)) (exists (?V) (and (instance ?V ViolentContest) (earlier (WhenFn ?V) ?T) (involvedInEvent ?V ?H)))) |
Mid-level-ontology.kif 9746-9754 |
|
(=> (instance ?ATTACK Attack) (exists (?CONTEST) (and (instance ?CONTEST ViolentContest) (subProcess ?ATTACK ?CONTEST)))) |
Merge.kif 13424-13429 |
|
(=> (instance ?BATTLE Battle) (exists (?ATTACK) (and (instance ?ATTACK ViolentContest) (subProcess ?ATTACK ?BATTLE)))) |
Merge.kif 13387-13392 |
|
(=> (instance ?DEFENSE DefensiveManeuver) (exists (?CONTEST) (and (instance ?CONTEST ViolentContest) (subProcess ?DEFENSE ?CONTEST)))) |
Merge.kif 13446-13451 |
|
(=> (instance ?ORG MilitaryForce) (capability ViolentContest agent ?ORG)) |
Merge.kif 16684-16686 |
|
(=> (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 22617-22622 |
|