| 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 2609-2610 | |
| (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 Container) | Transportation.kif 2608-2608 | ShipContainer ist eine teilkategorie von Container |
| appearance as argument number 2 |
|
|
| (names "intermodal container" ShipContainer) | Transportation.kif 2611-2611 | names "intermodal container" and ShipContainer |
| (termFormat ChineseLanguage ShipContainer "船舶集装箱") | domainEnglishFormat.kif 52655-52655 | |
| (termFormat ChineseTraditionalLanguage ShipContainer "船舶集裝箱") | domainEnglishFormat.kif 52654-52654 | |
| (termFormat EnglishLanguage ShipContainer "ship container") | domainEnglishFormat.kif 52653-52653 |
| antecedent |
|
|
| (=> (instance ?C ShipContainer) (hasPurpose ?C (exists (?S ?O) (and (instance ?S Shipping) (cargo ?S ?C) (cargo ?S ?O) (holdsDuring (WhenFn ?S) (contains ?C ?O)))))) |
Transportation.kif 2613-2622 |
|
| consequent |
|
|
| (=> (instance ?SHIP ContainerShip) (cargoType ?SHIP ShipContainer)) |
Transportation.kif 2339-2341 |
|
|
|
|