FootballerUS(footballer) | ![]() | football_player, footballer |
appearance as argument number 1 |
![]() |
(documentation FootballerUS EnglishLanguage "An athlete who plays American football.") | Sports.kif 375-375 | |
(instance FootballerUS ProfessionalAthlete) | Sports.kif 374-374 | Footballer is an instance of professional athlete |
appearance as argument number 2 |
![]() |
(termFormat EnglishLanguage FootballerUS "footballer") | domainEnglishFormat.kif 64876-64876 |
antecedent |
![]() |
(=> (attribute ?ATHLETE FootballerUS) (hasSkill Football ?ATHLETE)) |
Sports.kif 420-422 |
![]() |
![]() |