| FootballTeam(football team) | | eleven, football_team |
| appearance as argument number 1 |
|
|
| (documentation FootballTeam EnglishLanguage "The class of SportsTeams that play FootballUS.") | Sports.kif 844-844 | |
| (subclass FootballTeam SportsTeam) | Sports.kif 843-843 | Football team is a subclass of sports team |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage FootballTeam "足球队") | domainEnglishFormat.kif 24624-24624 | |
| (termFormat ChineseTraditionalLanguage FootballTeam "足球隊") | domainEnglishFormat.kif 24623-24623 | |
| (termFormat EnglishLanguage FootballTeam "football team") | domainEnglishFormat.kif 24622-24622 |
|
|
|