| appearance as argument number 1 |
|
| (documentation FortyFtStandardContainer EnglishLanguage "A FortyFtStandardContainer is most common forty_foot container. It occupies a space of 40 feet (12.2 m) long, 8 feet (2.44 m) wide, and 8 feet 6 inches (2.59 m) high. [Wikipedia]") | Transportation.kif 2967-2969 | |
| (subclass FortyFtStandardContainer FortyFtContainer) | Transportation.kif 2966-2966 | FortyFtStandardContainer is a subclass of FortyFtContainer |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage FortyFtStandardContainer "forty foot standard container") | domainEnglishFormat.kif 24788-24788 |
| antecedent |
|
|
| (=> (instance ?T FortyFtStandardContainer) (height ?T (MeasureFn 102 Inch))) |
Transportation.kif 2971-2974 |
|
| (=> (instance ?X FortyFtStandardContainer) (measure ?X (MeasureFn 2 TEU))) |
Transportation.kif 2976-2978 |
|
| (=> (instance ?X FortyFtStandardContainer) (measure ?X (MeasureFn 2389 CubicFoot))) |
Transportation.kif 2980-2982 |
|
|
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