| 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 2781-2782 | |
| (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 2780-2780 |
| appearance as argument number 2 |
|
|
| (names "intermodal container" ShipContainer) | Transportation.kif 2783-2783 | |
| (subclass FiftythreeFtContainer ShipContainer) | Transportation.kif 3047-3047 | |
| (subclass FortyFtContainer ShipContainer) | Transportation.kif 2937-2937 | |
| (subclass FortyeightFtContainer ShipContainer) | Transportation.kif 3024-3024 | |
| (subclass FortyfiveFtContainer ShipContainer) | Transportation.kif 3005-3005 | |
| (subclass TwentyFtContainer ShipContainer) | Transportation.kif 2796-2796 | |
| (termFormat ChineseLanguage ShipContainer "船舶集装箱") | domainEnglishFormat.kif 52686-52686 | |
| (termFormat ChineseTraditionalLanguage ShipContainer "船舶集裝箱") | domainEnglishFormat.kif 52685-52685 | |
| (termFormat EnglishLanguage ShipContainer "ship container") | domainEnglishFormat.kif 52684-52684 |
| antecedent |
|
|
| (=> (and (instance ?T ShipContainer) (capacity ?T (MeasureFn ?X ?U)) (instance ?X UnitOfMass) (contains ?T ?O) (weight ?O (MeasureFn ?Y ?U)) (lessThan ?Y ?X)) (modalAttribute (not (exists (?D) (and (instance ?D Damaging) (patient ?D ?T)))) Likely)) |
Transportation.kif 2829-2844 | |
| (=> (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 2785-2794 |
| consequent |
|
|
| (=> (instance ?SHIP ContainerShip) (cargoType ?SHIP ShipContainer)) |
Transportation.kif 2508-2510 |
|
|
|