Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| FortyfiveFtContainer(forty five foot container) |
| appearance as argument number 1 |
|
| (subclass FortyfiveFtContainer ShipContainer) | Transportation.kif 3051-3051 | Forty five foot container is a subclass of ship container |
| (documentation FortyfiveFtContainer EnglishLanguage "A FortyfiveFtContainer may be pulled as a trailer in Europe and most other places. It occupies a space of 45 feet (13.72 m) long, 8 feet (2.44 m) wide, and 8 feet 6 inches (2.59 m) high. [Wikipedia]") | Transportation.kif 3052-3054 | Forty five foot container is a subclass of ship container |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage FortyfiveFtContainer "forty five foot container") | domainEnglishFormat.kif 24774-24774 |
| antecedent |
|
|
| (=> (instance ?T FortyfiveFtContainer) (and (length ?T (MeasureFn 45 FootLength)) (height ?T (MeasureFn 102 Inch)) (width ?T (MeasureFn 8 FootLength)))) |
Transportation.kif 3056-3064 | If X is an instance of forty five foot container, then the length of X is 45 foot length(s), the height of X is 102 inch(s), and the width of X is 8 foot length(s) |
| (=> (instance ?X FortyfiveFtContainer) (measure ?X (MeasureFn 2 TEU))) |
Transportation.kif 3066-3068 | If X is an instance of forty five foot container, then the measure of X is 2 teu(s) |
|