ShipContainer |
appearance as argument number 1 |
(documentation ShipContainer EnglishLanguage "ShipContainer is the class of specialized large containers designed for shipping goods aboard ContainerShips.") | Transportation.kif 2575-2576 | |
(externalImage ShipContainer "http://upload.wikimedia.org/wikipedia/commons/ 0/ 09/ Container_ship_loading-700px.jpg") | pictureList.kif 914-914 | |
(externalImage ShipContainer "http://upload.wikimedia.org/wikipedia/commons/ 7/ 7a/ Line3174_-_Shipping_Containers_at_the_terminal_at_Port_Elizabeth%2C_New_Jersey_-_NOAA.jpg") | pictureList.kif 881-881 | |
(subclass ShipContainer SelfConnectedObject) | Transportation.kif 2574-2574 |
appearance as argument number 2 |
(termFormat ChineseLanguage ShipContainer "船舶集装箱") | domainEnglishFormat.kif 52653-52653 | |
(termFormat ChineseTraditionalLanguage ShipContainer "船舶集裝箱") | domainEnglishFormat.kif 52652-52652 | |
(termFormat EnglishLanguage ShipContainer "ship container") | domainEnglishFormat.kif 52651-52651 |
consequent |
(=> (instance ?SHIP ContainerShip) (cargoType ?SHIP ShipContainer)) |
Transportation.kif 2333-2335 |