| appearance as argument number 1 |
|
| (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 3047-3049 | |
| (subclass FiftythreeFtContainer ShipContainer) | Transportation.kif 3046-3046 | Fifty three foot container is a subclass of ship container |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage FiftythreeFtContainer "fifty three foot container") | domainEnglishFormat.kif 65831-65831 |
| antecedent |
|
|
| (=> (instance ?T FiftythreeFtContainer) (and (length ?T (MeasureFn 53 FootLength)) (height ?T (MeasureFn 102 Inch)) (width ?T (MeasureFn 8 FootLength)))) |
Transportation.kif 3051-3059 |
|
| (=> (instance ?X FiftythreeFtContainer) (measure ?X (MeasureFn 2.65 TEU))) |
Transportation.kif 3061-3063 |
|
| (=> (instance ?X FiftythreeFtContainer) (measure ?X (MeasureFn 3604 CubicFoot))) |
Transportation.kif 3065-3067 |
|
|
Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)
|
|
Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners