Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| FortyFtContainer(forty foot container) |
| appearance as argument number 1 |
|
| (subclass FortyFtContainer ShipContainer) | Transportation.kif 2983-2983 | Forty foot container is a subclass of ship container |
| (documentation FortyFtContainer EnglishLanguage "A FortyFtContainer is another standard ShipContainer. It is twice the length of a TwentyFtContainer. The most common forty_foot container occupies a space of 40 feet (12.2 m) long, 8 feet (2.44 m) wide, and 8 feet 6 inches (2.59 m) high. [Wikipedia]") | Transportation.kif 2984-2986 | Forty foot container is a subclass of ship container |
| (defaultMaximumMeasure FortyFtContainer (MeasureFn 30480 Kilogram)) |
Transportation.kif 3003-3004 | The maximum expected value of forty foot container is 30480 kilogram(s) |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (instance ?T FortyFtContainer) (and (length ?T (MeasureFn 40 FootLength)) (width ?T (MeasureFn 8 FootLength)))) |
Transportation.kif 2988-2994 | If X is an instance of forty foot container, then the length of X is 40 foot length(s) and the width of X is 8 foot length(s) |
| (=> (defaultMeasure FortyFtContainer (MeasureFn ?X Kilogram)) (and (greaterThanOrEqualTo ?X 2800) (lessThanOrEqualTo ?X 4000))) |
Transportation.kif 2996-3001 | If the expected value of forty foot container is X kilogram(s), then X is greater than or equal to 2800 and X is less than or equal to 4000 |
| (=> (and (instance ?T FortyFtContainer) (attribute ?T Dry)) (capacity ?T (MeasureFn 26480 Kilogram))) |
Transportation.kif 3006-3011 | If X is an instance of forty foot container and dry is an attribute of X, then 26480 kilogram(s) is a capacity of X |
| (=> (instance ?X FortyFtContainer) (measure ?X (MeasureFn 1 FEU))) |
Transportation.kif 3146-3149 | If X is an instance of forty foot container, then the measure of X is 1 feu(s) |
|