Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

  TwentyFtHeavyDutyContainer

 Sigma KEE - TwentyFtHeavyDutyContainer
TwentyFtHeavyDutyContainer(twenty foot heavy duty container)

appearance as argument number 1
-------------------------


(subclass TwentyFtHeavyDutyContainer TwentyFtContainer) Transportation.kif 2911-2911 Twenty foot heavy duty container is a subclass of twenty foot container
(documentation TwentyFtHeavyDutyContainer EnglishLanguage "The TwentyFtHeavyDutyContainer is a twenty_foot heavy duty container for carrying heavy goods such as heavy machinery. It occupies the same space as a TwentyFtStandardContainer of 20 feet (6.1 m) long, 8 feet (2.44 m) wide, and 8 feet 6 inches (2.59 m) high. These containers allow a maximum weight of 67,200 pounds (30,500 kg), an empty weight of 5,290 pounds (2,400 kg), and a net load of 61,910 pounds (28,080 kg).[Wikipedia]") Transportation.kif 2912-2917 Twenty foot heavy duty container is a subclass of twenty foot container
(defaultMaximumMeasure TwentyFtHeavyDutyContainer
    (MeasureFn 30500 Kilogram))		 Transportation.kif 2931-2932 The maximum expected value of twenty foot heavy duty container is 30500 kilogram(s)

appearance as argument number 2
-------------------------


(termFormat EnglishLanguage TwentyFtHeavyDutyContainer "twenty foot heavy duty container") domainEnglishFormat.kif 59675-59675

antecedent
-------------------------


(=>
    (instance ?T TwentyFtHeavyDutyContainer)
    (hasPurpose ?T
        (exists (?O ?X)
            (and
                (instance ?O Object)
                (contains ?T ?O)
                (measure ?O
                    (MeasureFn ?X Kilogram))
                (greaterThan ?X 21600)
                (lessThanOrEqualTo ?X 28080)))))		 Transportation.kif 2919-2929 If X is an instance of twenty foot heavy duty container, then X has the purpose there exist Y and Z such that Y is an instance of object and X contains Y and the measure of Y is Z kilogram(s) and Z is greater than 21600 and Z is less than or equal to 28080
(=>
    (instance ?T TwentyFtHeavyDutyContainer)
    (height ?T
        (MeasureFn 102 Inch)))		 Transportation.kif 2934-2937 If X is an instance of twenty foot heavy duty container, then the height of X is 102 inch(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 TwentyFtHeavyDutyContainer)
    (measure ?X
        (MeasureFn 1172 CubicFoot)))		 Transportation.kif 2943-2945 If X is an instance of twenty foot heavy duty container, then the measure of X is 1172 cubic foot(s)


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners