| 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 2698-2700 | |
| (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 2696-2696 | Personal watercraft is a subclass of water vehicle |
| appearance as argument number 2 |
|
|
| (names "Jet Ski" PersonalWatercraft) | Transportation.kif 2697-2697 | Personal watercraft has name "Jet Ski" |
| (termFormat ChineseLanguage PersonalWatercraft "个人船只") | domainEnglishFormat.kif 45367-45367 | Personal watercraft has name "Jet Ski" |
| (termFormat ChineseTraditionalLanguage PersonalWatercraft "個人船隻") | domainEnglishFormat.kif 45366-45366 | Personal watercraft has name "Jet Ski" |
| (termFormat EnglishLanguage PersonalWatercraft "personal watercraft") | domainEnglishFormat.kif 45365-45365 | Personal watercraft has name "Jet Ski" |
|
|
|