| Surfboard(surfboard) | | surfboard |
| appearance as argument number 1 |
|
|
| (documentation Surfboard EnglishLanguage "A narrow buoyant board for riding surf.") | Sports.kif 211-211 | |
| (subclass Surfboard WaterBoard) | Sports.kif 210-210 | Surfboard is a subclass of water board |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Surfboard "surfboard") | domainEnglishFormat.kif 65607-65607 |
| antecedent |
|
|
| (=> (instance ?X Surfboard) (hasPurpose ?X (exists (?S) (and (instance ?S Surfing) (instrument ?S ?X))))) |
Sports.kif 213-219 |
|
|
|
|