| Boxing(boxing)
| | boxing, boxing_match, fisticuffs, in-fighting, prize_fight, prizefight, professional_boxing, pugilism, sparring_match |
| appearance as argument number 1 |
|
|
| (documentation Boxing EnglishLanguage "A sport which involves two participants who try to knock each other out in a limited number of rounds. Note that each instance of Boxing is a boxing match.") | Sports.kif 586-588 | |
| (externalImage Boxing "http://articulatesoftware.com/SUMOpictures/recreation/ sports/ boxing.png") | pictureList.kif 286-286 | |
| (subclass Boxing Sport) | Sports.kif 585-585 | Boxing is a subclass of sport |
| (subclass Boxing ViolentContest) | Sports.kif 584-584 | Boxing is a subclass of violent contest |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Boxing "拳击") | domainEnglishFormat.kif 11829-11829 | |
| (termFormat ChineseTraditionalLanguage Boxing "拳擊") | domainEnglishFormat.kif 11828-11828 | |
| (termFormat EnglishLanguage Boxing "boxing") | domainEnglishFormat.kif 11827-11827 |
| consequent |
|
|
| (=> (attribute ?ATHLETE Boxer) (hasSkill Boxing ?ATHLETE)) |
Sports.kif 400-402 | |
| (=> (instance ?BR BoxingRing) (hasPurpose ?BR (exists (?B) (and (instance ?B Boxing) (eventLocated ?B ?BR))))) |
Sports.kif 592-598 |
|
|
|
|