FootballerSoccer
|
|
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 |
appearance as argument number 2 |
(termFormat EnglishLanguage FootballerSoccer "footballer") | domainEnglishFormat.kif 64883-64883 |
antecedent |
(=> (attribute ?ATHLETE FootballerSoccer) (hasSkill Soccer ?ATHLETE)) |
Sports.kif 412-414 |