Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| FiftythreeFtContainer(fifty three foot container) |
| appearance as argument number 1 |
|
| (subclass FiftythreeFtContainer ShipContainer) | Transportation.kif 3093-3093 | Fifty three foot container is a subclass of ship container |
| (documentation FiftythreeFtContainer EnglishLanguage "A FiftythreeFtContainer is restricted to road and rail transport in North America. It occupies a space of 53 feet (16.2 m) long, 8 feet (2.44 m) wide, and 8 feet 6 inches (2.59 m) high. [Wikipedia]") | Transportation.kif 3094-3096 | Fifty three foot container is a subclass of ship container |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage FiftythreeFtContainer "fifty three foot container") | domainEnglishFormat.kif 65841-65841 |
| antecedent |
|
|
| (=> (instance ?T FiftythreeFtContainer) (and (length ?T (MeasureFn 53 FootLength)) (height ?T (MeasureFn 102 Inch)) (width ?T (MeasureFn 8 FootLength)))) |
Transportation.kif 3098-3106 | If X is an instance of fifty three foot container, then the length of X is 53 foot length(s), the height of X is 102 inch(s), and the width of X is 8 foot length(s) |
| (=> (instance ?X FiftythreeFtContainer) (measure ?X (MeasureFn 2.65 TEU))) |
Transportation.kif 3108-3110 | If X is an instance of fifty three foot container, then the measure of X is 2.65 teu(s) |
| (=> (instance ?X FiftythreeFtContainer) (measure ?X (MeasureFn 3604 CubicFoot))) |
Transportation.kif 3112-3114 | If X is an instance of fifty three foot container, then the measure of X is 3604 cubic foot(s) |
|