CarRacingTeam(car racing team) |
appearance as argument number 1 |
(subclass CarRacingTeam SportsTeam) | Sports.kif 513-513 | Car racing team is a subclass of sports team |
appearance as argument number 2 |
(termFormat EnglishLanguage CarRacingTeam "car racing team") | domainEnglishFormat.kif 64596-64596 |