| FootballerSoccer(footballer) | | athlete, jock |
| appearance as argument number 1 |
|
|
| (documentation FootballerSoccer EnglishLanguage "An athlete who plays soccer, called football in the United Kingdom.") | Sports.kif 365-365 | |
| (instance FootballerSoccer ProfessionalAthlete) | Sports.kif 364-364 | Footballer is an instance of professional athlete |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage FootballerSoccer "footballer") | domainEnglishFormat.kif 64929-64929 |
| antecedent |
|
|
| (=> (attribute ?ATHLETE FootballerSoccer) (hasSkill Soccer ?ATHLETE)) |
Sports.kif 412-414 |
|
|
|