| PersonalWatercraft(personal watercraft)
|
| 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 2692-2694 | |
| (externalImage PersonalWatercraft "http://upload.wikimedia.org/wikipedia/ commons/ 3/ 33/ Sea_Doo_LRV.JPG") | pictureList.kif 2908-2908 | |
| (externalImage PersonalWatercraft "http://upload.wikimedia.org/wikipedia/ commons/ 5/ 57/ Yamaha_SUV.jpg") | pictureList.kif 2907-2907 | |
| (externalImage PersonalWatercraft "http://upload.wikimedia.org/wikipedia/ commons/ c/ cd/ Pwcfastturn.jpg") | pictureList.kif 2723-2723 | |
| (subclass PersonalWatercraft WaterVehicle) | Transportation.kif 2690-2690 | Personal watercraft is a subclass of water vehicle |
| appearance as argument number 2 |
|
|
| (names "Jet Ski" PersonalWatercraft) | Transportation.kif 2691-2691 | Personal watercraft has name "Jet Ski" |
| (termFormat ChineseLanguage PersonalWatercraft "个人船只") | domainEnglishFormat.kif 45374-45374 | Personal watercraft has name "Jet Ski" |
| (termFormat ChineseTraditionalLanguage PersonalWatercraft "個人船隻") | domainEnglishFormat.kif 45373-45373 | Personal watercraft has name "Jet Ski" |
| (termFormat EnglishLanguage PersonalWatercraft "personal watercraft") | domainEnglishFormat.kif 45372-45372 | Personal watercraft has name "Jet Ski" |
|
|
|