| PersonalWatercraft(personal watercraft)
|
| appearance as argument number 1 |
|
| (subclass PersonalWatercraft WaterVehicle) | Transportation.kif 2739-2739 | Personal watercraft is a subclass of water vehicle |
| (documentation PersonalWatercraft EnglishLanguage "PersonalWatercraft is the class of motor_driven WaterVehicle ridden by one or more passengers, e.g., a JetSki.") | Transportation.kif 2741-2743 | Personal watercraft is a subclass of water vehicle |
| (externalImage PersonalWatercraft "http://upload.wikimedia.org/wikipedia/ commons/ c/ cd/ Pwcfastturn.jpg") | pictureList.kif 2722-2722 | Personal watercraft is a subclass of water vehicle |
| (externalImage PersonalWatercraft "http://upload.wikimedia.org/wikipedia/ commons/ 5/ 57/ Yamaha_SUV.jpg") | pictureList.kif 2906-2906 | Personal watercraft is a subclass of water vehicle |
| (externalImage PersonalWatercraft "http://upload.wikimedia.org/wikipedia/ commons/ 3/ 33/ Sea_Doo_LRV.JPG") | pictureList.kif 2907-2907 | Personal watercraft is a subclass of water vehicle |
| appearance as argument number 2 |
|
|
| (names "Jet Ski" PersonalWatercraft) | Transportation.kif 2740-2740 | Personal watercraft has name "Jet Ski" |
| (termFormat EnglishLanguage PersonalWatercraft "personal watercraft") | domainEnglishFormat.kif 45329-45329 | Personal watercraft has name "Jet Ski" |
| (termFormat ChineseTraditionalLanguage PersonalWatercraft "個人船隻") | domainEnglishFormat.kif 45330-45330 | Personal watercraft has name "Jet Ski" |
| (termFormat ChineseLanguage PersonalWatercraft "个人船只") | domainEnglishFormat.kif 45331-45331 | Personal watercraft has name "Jet Ski" |
|
|
|