| TableTennis(table tennis) | | Ping-Pong, table_tennis |
| appearance as argument number 1 |
|
|
| (documentation TableTennis EnglishLanguage "A game (trademark Ping_Pong) resembling tennis but played on a table with paddles and a light hollow ball.") | Sports.kif 240-240 | |
| (subclass TableTennis Sport) | Sports.kif 239-239 | Table tennis is a subclass of sport |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage TableTennis "table tennis") | domainEnglishFormat.kif 65598-65598 |
|
|
|