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 2597-2598 | |
(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 2596-2596 | ShipContainer est une sous-classe de Container |
appearance as argument number 2 |
(names "intermodal container" ShipContainer) | Transportation.kif 2599-2599 | ShipContainer s'appele nom "intermodal container" |
(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 2601-2610 |
consequent |
(=> (instance ?SHIP ContainerShip) (cargoType ?SHIP ShipContainer)) |
Transportation.kif 2339-2341 |