RacingCarDriver
|
|
appearance as argument number 1 |
(documentation RacingCarDriver EnglishLanguage "A driver of racing cars.") | Sports.kif 384-384 | |
(instance RacingCarDriver ProfessionalAthlete) | Sports.kif 383-383 | RacingCarDriver 是 ProfessionalAthlete 的 instance |
appearance as argument number 2 |
(termFormat EnglishLanguage RacingCarDriver "racing car driver") | domainEnglishFormat.kif 65380-65380 |