| appearance as argument number 1 |
|
|
| (documentation Racing EnglishLanguage "A sport which involves a contest of speed between the participants. Note that this covers a variety of things, including auto racing, running competitions, etc.") | Mid-level-ontology.kif 7768-7770 | |
| (subclass Racing Sport) | Mid-level-ontology.kif 7767-7767 | Racing is a subclass of sport |
| appearance as argument number 2 |
|
|
| (subclass CarRacing Racing) | Sports.kif 248-248 | Car racing is a subclass of racing |
| (subclass CycleRacing Racing) | Sports.kif 98-98 | Cycle racing is a subclass of racing |
| (subclass MotorcycleRacing Racing) | Sports.kif 256-256 | Motorcycle racing is a subclass of racing |
| (subclass RunningARace Racing) | Sports.kif 259-259 | Running a race is a subclass of racing |
| (termFormat ChineseLanguage Racing "赛跑") | domainEnglishFormat.kif 48437-48437 | Running a race is a subclass of racing |
| (termFormat ChineseTraditionalLanguage Racing "賽跑") | domainEnglishFormat.kif 48436-48436 | Running a race is a subclass of racing |
| (termFormat EnglishLanguage Racing "racing") | domainEnglishFormat.kif 48435-48435 | Running a race is a subclass of racing |
|
|
|