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

KB Term:  Term intersection
English Word: 

Sigma KEE - TwentyFtContainer
TwentyFtContainer(twenty foot container)

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


(subclass TwentyFtContainer ShipContainer) Transportation.kif 2842-2842 Twenty foot container is a subclass of ship container
(documentation TwentyFtContainer EnglishLanguage "A TwentyFtContainer is an intermodal container, often used for container ships and container ports. It is a standard_sized metal box that can be easily transferred between different modes of transportation, such as ships, trains, and trucks. It is 20 feet (6.1 m) long, 8 feet (2.44 m) wide. It comes in three heights: standard - 8 feet 6 inches (2.59 m), high cube - 9 feet 6 inches (2.90 m) and half_height - 4 feet 3 inches (1.30 m). [Wikipedia]") Transportation.kif 2843-2848 Twenty foot container is a subclass of ship container
(defaultMaximumMeasure TwentyFtContainer
    (MeasureFn 24000 Kilogram))		 Transportation.kif 2865-2866 The maximum expected value of twenty foot container is 24000 kilogram(s)

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


(subclass TwentyFtStandardContainer TwentyFtContainer) Transportation.kif 2892-2892 Twenty foot standard container is a subclass of twenty foot container
(subclass TwentyFtHeavyDutyContainer TwentyFtContainer) Transportation.kif 2911-2911 Twenty foot heavy duty container is a subclass of twenty foot container
(subclass TwentyFtHighcubeContainer TwentyFtContainer) Transportation.kif 2947-2947 Twenty foot high cube container is a subclass of twenty foot container
(subclass TwentyFtHalfHeightContainer TwentyFtContainer) Transportation.kif 2965-2965 Twenty foot half height container is a subclass of twenty foot container
(termFormat EnglishLanguage TwentyFtContainer "twenty foot container") domainEnglishFormat.kif 59671-59671 Twenty foot half height container is a subclass of twenty foot container

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


(=>
    (instance ?T TwentyFtContainer)
    (and
        (length ?T
            (MeasureFn 20 FootLength))
        (width ?T
            (MeasureFn 8 FootLength))))		 Transportation.kif 2850-2856 If X is an instance of twenty foot container, then the length of X is 20 foot length(s) and the width of X is 8 foot length(s)
(=>
    (defaultMeasure TwentyFtContainer
        (MeasureFn ?X Kilogram))
    (and
        (greaterThanOrEqualTo ?X 1800)
        (lessThanOrEqualTo ?X 2400)))		 Transportation.kif 2858-2863 If the expected value of twenty foot container is X kilogram(s), then X is greater than or equal to 1800 and X is less than or equal to 2400
(=>
    (and
        (instance ?T TwentyFtContainer)
        (attribute ?T Dry))
    (capacity ?T
        (MeasureFn 21600 Kilogram)))		 Transportation.kif 2868-2873 If X is an instance of twenty foot container and dry is an attribute of X, then 21600 kilogram(s) is a capacity of X
(=>
    (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)


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