| appearance as argument number 1 |
|
| (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 3024-3026 | |
| (subclass FortyeightFtContainer ShipContainer) | Transportation.kif 3023-3023 | FortyeightFtContainer is a subclass of ShipContainer |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage FortyeightFtContainer "forty eight foot container") | domainEnglishFormat.kif 24778-24778 |
| antecedent |
|
|
| (=> (instance ?T FortyeightFtContainer) (and (length ?T (MeasureFn 48 FootLength)) (height ?T (MeasureFn 102 Inch)) (width ?T (MeasureFn 8 FootLength)))) |
Transportation.kif 3028-3036 |
|
| (=> (instance ?X FortyeightFtContainer) (measure ?X (MeasureFn 2.4 TEU))) |
Transportation.kif 3038-3040 |
|
| (=> (instance ?X FortyeightFtContainer) (measure ?X (MeasureFn 3264 CubicFoot))) |
Transportation.kif 3042-3044 |
|
|
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