Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   Caving
|
|
|
| appearance as argument number 1 |
|
|
| (subclass Caving Sport) | Sports.kif 238-238 | Caving is a subclass of sport |
| (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 239-240 | Caving is a subclass of sport |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Caving "caving") | domainEnglishFormat.kif 64603-64603 |
|