Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| FortyeightFtContainer(forty eight foot container) |
| appearance as argument number 1 |
|
| (subclass FortyeightFtContainer ShipContainer) | Transportation.kif 3070-3070 | Forty eight foot container is a subclass of ship container |
| (documentation FortyeightFtContainer EnglishLanguage "A FortyeightFtContainer is restricted to road and rail transport in North America. It occupies a space of 48 feet (14.6 m) long, 8 feet (2.44 m) wide, and 8 feet 6 inches (2.59 m) high. [Wikipedia]") | Transportation.kif 3071-3073 | Forty eight foot container is a subclass of ship container |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage FortyeightFtContainer "forty eight foot container") | domainEnglishFormat.kif 24772-24772 |
| antecedent |
|
|
| (=> (instance ?T FortyeightFtContainer) (and (length ?T (MeasureFn 48 FootLength)) (height ?T (MeasureFn 102 Inch)) (width ?T (MeasureFn 8 FootLength)))) |
Transportation.kif 3075-3083 | If X is an instance of forty eight foot container, then the length of X is 48 foot length(s), the height of X is 102 inch(s), and the width of X is 8 foot length(s) |
| (=> (instance ?X FortyeightFtContainer) (measure ?X (MeasureFn 2.4 TEU))) |
Transportation.kif 3085-3087 | If X is an instance of forty eight foot container, then the measure of X is 2.4 teu(s) |
| (=> (instance ?X FortyeightFtContainer) (measure ?X (MeasureFn 3264 CubicFoot))) |
Transportation.kif 3089-3091 | If X is an instance of forty eight foot container, then the measure of X is 3264 cubic foot(s) |
|