| appearance as argument number 1 |
|
|
| (documentation Boxer EnglishLanguage "An athlete who competes on the combat sport in which two people fight each other using their fists, Boxing.") | Sports.kif 367-367 | |
| (instance Boxer ProfessionalAthlete) | Sports.kif 366-366 | Boxer is an instance of professional athlete |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Boxer "boxer") | domainEnglishFormat.kif 64582-64582 |
| antecedent |
|
|
| (=> (attribute ?ATHLETE Boxer) (hasSkill Boxing ?ATHLETE)) |
Sports.kif 412-414 |
|
|
|