| 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 12373-12374 | |
| (externalImage ViolentContest "http://upload.wikimedia.org/wikipedia/commons/ 9/ 9b/ Kick.JPG") | pictureList.kif 12175-12175 | |
| (externalImage ViolentContest "http://upload.wikimedia.org/wikipedia/commons/ d/ d9/ Ouch-boxing-footwork.jpg") | pictureList.kif 12173-12173 | |
| (externalImage ViolentContest "http://upload.wikimedia.org/wikipedia/commons/ e/ ee/ Wushu_dao.jpg") | pictureList.kif 12174-12174 | |
| (externalImage ViolentContest "http://upload.wikimedia.org/wikipedia/commons/ thumb/ 4/ 4f/ Boxing080905_photoshop.jpg/ 200px-Boxing080905_photoshop.jpg") | pictureList.kif 10353-10353 | |
| (subclass ViolentContest Contest) | Merge.kif 12372-12372 |
| appearance as argument number 2 |
|
|
| (subclass Battle ViolentContest) | Merge.kif 12401-12401 | |
| (subclass Boxing ViolentContest) | Sports.kif 470-470 | |
| (subclass ChemicalAttack ViolentContest) | Mid-level-ontology.kif 19674-19674 | |
| (subclass DirectAction ViolentContest) | MilitaryProcesses.kif 325-325 | |
| (subclass DirectActionActivity ViolentContest) | MilitaryProcesses.kif 389-389 | |
| (subclass IncendiaryDeviceAttack ViolentContest) | Mid-level-ontology.kif 19758-19758 | |
| (subclass KnifeAttack ViolentContest) | Mid-level-ontology.kif 19800-19800 | |
| (subclass MilitaryAssault ViolentContest) | MilitaryProcesses.kif 421-421 | |
| (subclass PhysicalViolence ViolentContest) | emotion.kif 1612-1612 | |
| (subclass PoliticalRevolution ViolentContest) | Mid-level-ontology.kif 11512-11512 | |
| (subclass Stoning ViolentContest) | Mid-level-ontology.kif 19898-19898 | |
| (subclass Terrorism ViolentContest) | MilitaryProcesses.kif 2074-2074 | |
| (subclass VehicleAttack ViolentContest) | Mid-level-ontology.kif 19962-19962 | |
| (subclass War ViolentContest) | Merge.kif 12376-12376 | |
| (termFormat ChineseLanguage ViolentContest "暴力比赛") | chinese_format.kif 1209-1209 | |
| (termFormat EnglishLanguage ViolentContest "violent contest") | english_format.kif 1640-1640 |
| 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 12492-12499 |
| consequent |
|
|
| (=> (instance ?ATTACK Attack) (exists (?CONTEST) (and (instance ?CONTEST ViolentContest) (subProcess ?ATTACK ?CONTEST)))) |
Merge.kif 12452-12457 | |
| (=> (instance ?BATTLE Battle) (exists (?ATTACK) (and (instance ?ATTACK ViolentContest) (subProcess ?ATTACK ?BATTLE)))) |
Merge.kif 12415-12420 | |
| (=> (instance ?DEFENSE DefensiveManeuver) (exists (?CONTEST) (and (instance ?CONTEST ViolentContest) (subProcess ?DEFENSE ?CONTEST)))) |
Merge.kif 12474-12479 | |
| (=> (instance ?ORG MilitaryForce) (capability ViolentContest agent ?ORG)) |
Merge.kif 15489-15491 | |
| (=> (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 20523-20528 |
|
|
|
