| Caving(caving) | | cave, spelunk |
| appearance as argument number 1 |
|
|
| (documentation Caving EnglishLanguage "Caving—also occasionally known as spelunking in the United States and potholing in the United Kingdom—is the recreational pastime of exploring wild cave systems.") | Sports.kif 227-228 | |
| (subclass Caving Sport) | Sports.kif 226-226 | Caving is a subclass of sport |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Caving "caving") | domainEnglishFormat.kif 64648-64648 |
|
|
|