Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   PersonalWatercraft
|
|
|
| appearance as argument number 1 |
|
|
| (subclass PersonalWatercraft WaterVehicle) | Transportation.kif 2745-2745 | 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 2747-2749 | 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 2746-2746 | 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" |
|
