| Surfing(surfing) | | surf, surfboard, surfboarding, surfing, surfriding |
| appearance as argument number 1 |
|
|
| (documentation Surfing EnglishLanguage "The sport of riding a surfboard towards the shore on the crest of a wave.") | Sports.kif 209-209 | |
| (subclass Surfing Sport) | Sports.kif 207-207 | Surfing is a subclass of sport |
| (subclass Surfing WaterSport) | Sports.kif 208-208 | Surfing is a subclass of water sport |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Surfing "surfing") | domainEnglishFormat.kif 65608-65608 |
| consequent |
|
|
| (=> (instance ?X Surfboard) (hasPurpose ?X (exists (?S) (and (instance ?S Surfing) (instrument ?S ?X))))) |
Sports.kif 213-219 |
|
|
|
|