PassengerShip(passenger ship) | passenger_ship |
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 | Passenger ship is a subclass of ship |
appearance as argument number 2 |
(subclass CruiseShip PassengerShip) | Transportation.kif 2467-2467 | Cruise ship is a subclass of passenger ship |
(subclass OceanLiner PassengerShip) | Transportation.kif 2482-2482 | Ocean liner is a subclass of passenger ship |
(subclass PassengerAndCargoShip PassengerShip) | Transportation.kif 2432-2432 | Passenger and cargo ship is a subclass of passenger ship |
(subclass ShortSeaPassengerShip PassengerShip) | Transportation.kif 2434-2434 | Short sea passenger ship is a subclass of passenger ship |
(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 |