| 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 | ShipContainer est une sous-classe de Container |
| appearance as argument number 2 |
|
|
| 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 |
|
|
|