| BaseballPlayer | |
| appearance as argument number 1 |
|
|
| (documentation BaseballPlayer EnglishLanguage "An athlete who plays baseball.") | Sports.kif 351-351 | |
| (instance BaseballPlayer ProfessionalAthlete) | Sports.kif 350-350 | BaseballPlayer est une instance de ProfessionalAthlete |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage BaseballPlayer "baseball player") | domainEnglishFormat.kif 64522-64522 |
| antecedent |
|
|
| (=> (attribute ?ATHLETE BaseballPlayer) (hasSkill Baseball ?ATHLETE)) |
Sports.kif 392-394 |
|
|
|
|