| BaseballPlayer(baseball player) | | big_leaguer, major_leaguer |
| appearance as argument number 1 |
|
|
| (documentation BaseballPlayer EnglishLanguage "An athlete who plays baseball.") | Sports.kif 351-351 | |
| (instance BaseballPlayer ProfessionalAthlete) | Sports.kif 350-350 | Baseball player is an instance of professional athlete |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage BaseballPlayer "baseball player") | domainEnglishFormat.kif 64570-64570 |
| antecedent |
|
|
| (=> (attribute ?ATHLETE BaseballPlayer) (hasSkill Baseball ?ATHLETE)) |
Sports.kif 392-394 |
|
|
|