Surfboard(surfboard) | ![]() | surfboard |
appearance as argument number 1 |
![]() |
(documentation Surfboard EnglishLanguage "A narrow buoyant board for riding surf.") | Sports.kif 223-223 | |
(subclass Surfboard WaterBoard) | Sports.kif 222-222 | Surfboard is a subclass of water board |
appearance as argument number 2 |
![]() |
(termFormat EnglishLanguage Surfboard "surfboard") | domainEnglishFormat.kif 65553-65553 |
antecedent |
![]() |
(=> (instance ?X Surfboard) (hasPurpose ?X (exists (?S) (and (instance ?S Surfing) (instrument ?S ?X))))) |
Sports.kif 225-231 |
|
![]() |
![]() |