| PersonalWatercraft
|
| appearance as argument number 1 |
|
| (documentation PersonalWatercraft EnglishLanguage "PersonalWatercraft is the class of motor_driven WaterVehicle ridden by one or more passengers, e.g., a JetSki.") | Transportation.kif 2701-2703 | |
| (externalImage PersonalWatercraft "http://upload.wikimedia.org/wikipedia/ commons/ 3/ 33/ Sea_Doo_LRV.JPG") | pictureList.kif 2907-2907 | |
| (externalImage PersonalWatercraft "http://upload.wikimedia.org/wikipedia/ commons/ 5/ 57/ Yamaha_SUV.jpg") | pictureList.kif 2906-2906 | |
| (externalImage PersonalWatercraft "http://upload.wikimedia.org/wikipedia/ commons/ c/ cd/ Pwcfastturn.jpg") | pictureList.kif 2722-2722 | |
| (subclass PersonalWatercraft WaterVehicle) | Transportation.kif 2699-2699 |
| appearance as argument number 2 |
|
|
| (names "Jet Ski" PersonalWatercraft) | Transportation.kif 2700-2700 | |
| (termFormat ChineseLanguage PersonalWatercraft "个人船只") | domainEnglishFormat.kif 45338-45338 | |
| (termFormat ChineseTraditionalLanguage PersonalWatercraft "個人船隻") | domainEnglishFormat.kif 45337-45337 | |
| (termFormat EnglishLanguage PersonalWatercraft "personal watercraft") | domainEnglishFormat.kif 45336-45336 |
|
|
|