CruiseShip(遊輪) |
appearance as argument number 1 |
(documentation CruiseShip EnglishLanguage "CruiseShip is the subclass of PassengerShips designed for the purpose of carrying passengers on trips for entertainment.") | Transportation.kif 2490-2492 | |
(externalImage CruiseShip "http://upload.wikimedia.org/wikipedia/en/b/b5/ Cruiseship_to_Alaska.JPG") | pictureList.kif 2146-2146 | |
(subclass CruiseShip PassengerShip) | Transportation.kif 2489-2489 | 子類 遊輪 and 客船 |
appearance as argument number 2 |
(termFormat ChineseLanguage CruiseShip "游轮") | domainEnglishFormat.kif 17916-17916 | |
(termFormat ChineseTraditionalLanguage CruiseShip "遊輪") | domainEnglishFormat.kif 17915-17915 | |
(termFormat EnglishLanguage CruiseShip "cruise ship") | domainEnglishFormat.kif 17914-17914 |
antecedent |
(=> (instance ?C CruiseShip) (hasPurpose ?C (exists (?E ?A ?O) (and (instance ?E RecreationOrExercise) (possesses ?O ?C) (agent ?E ?A) (customer ?O ?A) (eventLocated ?E ?C))))) |
Transportation.kif 2493-2502 |