TEU - Sigma Knowledge base Browser

appearance as argument number 1

(instance TEU UnitOfVolume)	Transportation.kif 3116-3116	Teu is an instance of unit of volume
(documentation TEU EnglishLanguage "TEU (twenty_foot equivalent unit) is a general unit of cargo capacity, often used for container ships and container ports. It is based on the volume of a 20-foot_long (6.1 m) intermodal container.The most common twenty_foot container occupies a space 20 feet (6.1 m) long, 8 feet (2.44 m) wide, and 8 feet 6 inches (2.59 m) high, with an allowance externally for the corner castings; the internal volume is 1,172 cubic feet (33.2 m3). However, both 9-foot-6-inch_tall (2.90 m) High cube and 4-foot-3-inch (1.30 m) half height containers are also reckoned as 1 TEU. This gives a volume range of 680 to 1,520 cubic feet (19 to 43 m3) for one TEU. As TEU is an inexact unit, it cannot be converted precisely into other units.[Wikipedia]")	Transportation.kif 3117-3125	Teu is an instance of unit of volume
(relatedInternalConcept TEU FEU)	Transportation.kif 3127-3127	Teu is internally related to feu

appearance as argument number 2

(names "twenty_foot equivalent unit" TEU)	Transportation.kif 3126-3126	Teu has name "twenty_foot equivalent unit"
(termFormat EnglishLanguage TEU "teu")	domainEnglishFormat.kif 57683-57683	Teu has name "twenty_foot equivalent unit"

antecedent

(=>
    (equal
        (MeasureFn 1 TEU)
        (MeasureFn ?X CubicFoot))
    (and
        (greaterThanOrEqualTo ?X 680)
        (lessThanOrEqualTo ?X 1520)))

Transportation.kif 3133-3139

If equal 1 teu(s) and X cubic foot(s), then X is greater than or equal to 680 and X is less than or equal to 1520

consequent

(=> (instance ?X TwentyFtStandardContainer) (measure ?X (MeasureFn 1 TEU)))	Transportation.kif 2903-2905	If X is an instance of twenty foot standard container, then the measure of X is 1 teu(s)
(=> (instance ?X TwentyFtHeavyDutyContainer) (measure ?X (MeasureFn 1 TEU)))	Transportation.kif 2939-2941	If X is an instance of twenty foot heavy duty container, then the measure of X is 1 teu(s)
(=> (instance ?X TwentyFtHighcubeContainer) (measure ?X (MeasureFn 1 TEU)))	Transportation.kif 2957-2959	If X is an instance of twenty foot high cube container, then the measure of X is 1 teu(s)
(=> (instance ?X TwentyFtHalfHeightContainer) (measure ?X (MeasureFn 1 TEU)))	Transportation.kif 2975-2977	If X is an instance of twenty foot half height container, then the measure of X is 1 teu(s)
(=> (instance ?X FortyFtStandardContainer) (measure ?X (MeasureFn 2 TEU)))	Transportation.kif 3023-3025	If X is an instance of forty foot standard container, then the measure of X is 2 teu(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)
(=> (instance ?X FortyeightFtContainer) (measure ?X (MeasureFn 2.4 TEU)))	Transportation.kif 3085-3087	If X is an instance of forty eight foot container, then the measure of X is 2.4 teu(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 TwentyFtContainer) (measure ?X (MeasureFn 1 TEU)))	Transportation.kif 3129-3131	If X is an instance of twenty foot container, then the measure of X is 1 teu(s)

statement

(equal
(MeasureFn 1 FEU)
(MeasureFn 2 TEU))

Transportation.kif 3151-3153

equal 1 feu(s) and 2 teu(s)

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.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners