| ShipContainer(ship container)
| | cargo_container, container |
| appearance as argument number 1 |
|
|
| (subclass ShipContainer Container) | Transportation.kif 2820-2820 | Ship container is a subclass of container |
| (documentation ShipContainer EnglishLanguage "ShipContainer is the class of specialized large containers designed for shipping goods aboard ContainerShips.") | Transportation.kif 2821-2822 | Ship container is a subclass of container |
| (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 | Ship container is a subclass of container |
| (externalImage ShipContainer "http://upload.wikimedia.org/wikipedia/commons/ 0/ 09/ Container_ship_loading-700px.jpg") | pictureList.kif 914-914 | Ship container is a subclass of container |
| appearance as argument number 2 |
|
|
| 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 2825-2834 | If X is an instance of ship container, then X has the purpose there exist Y, Z such that Y is an instance of shipping, X is carried as cargo during Y, Z is carried as cargo during Y, and X contains Z holds during the time of existence of Y |
| (=> (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 2869-2884 | If All of the following hold: (1) X is an instance of ship container (2) Y Z(s) is a capacity of X (3) Y is an instance of unit of mass (4) X contains W (5) V Z(s) is a weight of W (6) V is less than Y, then the statement there doesn't exist U such that U is an instance of damaging and X is a patient of U has the modal force of likely |
| consequent |
|
|
| (=> (instance ?SHIP ContainerShip) (cargoType ?SHIP ShipContainer)) |
Transportation.kif 2513-2515 | If X is an instance of container ship, then ship container is a cargo type of X |
|
|
|