PassengerShip
|
|
appearance as argument number 1 |
(documentation PassengerShip EnglishLanguage "PassengerShip is the subclass of WaterVehicle designed for the purpose of carrying passengers.") | Transportation.kif 2307-2308 | |
(externalImage PassengerShip "http://upload.wikimedia.org/wikipedia/en/b/ b5/ Cruiseship_to_Alaska.JPG") | pictureList.kif 2287-2287 | |
(subclass PassengerShip Ship) | Transportation.kif 2309-2309 | 客船 是 船 的 subclass |
appearance as argument number 2 |
(subclass CruiseShip PassengerShip) | Transportation.kif 2467-2467 | 游轮 是 客船 的 subclass |
(subclass OceanLiner PassengerShip) | Transportation.kif 2482-2482 | 远洋班轮 是 客船 的 subclass |
(subclass PassengerAndCargoShip PassengerShip) | Transportation.kif 2432-2432 | 客货船 是 客船 的 subclass |
(subclass ShortSeaPassengerShip PassengerShip) | Transportation.kif 2434-2434 | 近海客船 是 客船 的 subclass |
(termFormat ChineseLanguage PassengerShip "客船") | domainEnglishFormat.kif 44700-44700 | |
(termFormat ChineseTraditionalLanguage PassengerShip "客船") | domainEnglishFormat.kif 44699-44699 | |
(termFormat EnglishLanguage PassengerShip "passenger ship") | domainEnglishFormat.kif 44698-44698 |
antecedent |
(=> (instance ?SHIP PassengerShip) (cargoType ?SHIP Human)) |
Transportation.kif 2311-2313 |
consequent |