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 | PassengerShip は Ship の subclass では %n |
appearance as argument number 2 |
(subclass CruiseShip PassengerShip) | Transportation.kif 2467-2467 | CruiseShip は PassengerShip の subclass では %n |
(subclass OceanLiner PassengerShip) | Transportation.kif 2482-2482 | OceanLiner は PassengerShip の subclass では %n |
(subclass PassengerAndCargoShip PassengerShip) | Transportation.kif 2432-2432 | PassengerAndCargoShip は PassengerShip の subclass では %n |
(subclass ShortSeaPassengerShip PassengerShip) | Transportation.kif 2434-2434 | ShortSeaPassengerShip は PassengerShip の subclass では %n |
(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 |