TwentyFtHeavyDutyContainer - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language: Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - TwentyFtHeavyDutyContainer

TwentyFtHeavyDutyContainer

appearance as argument number 1

(defaultMaximumMeasure TwentyFtHeavyDutyContainer (MeasureFn 30500 Kilogram))	Transportation.kif 2884-2885	defaultMaximumMeasure TwentyFtHeavyDutyContainer and 30500 Kilogram(s)
(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 2865-2870	defaultMaximumMeasure TwentyFtHeavyDutyContainer and 30500 Kilogram(s)
(subclass TwentyFtHeavyDutyContainer TwentyFtContainer)	Transportation.kif 2864-2864	TwentyFtHeavyDutyContainer is a subclass of TwentyFtContainer

appearance as argument number 2

(termFormat EnglishLanguage TwentyFtHeavyDutyContainer "twenty foot heavy duty container")

domainEnglishFormat.kif 59681-59681

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 2872-2882	If a physical is an instance of TwentyFtHeavyDutyContainer, then the physical has the purpose there exist an entity and another entity such that the entity is an instance of object and the physical contains the entity and the measure of the entity is the other entity Kilogram(s) and the other entity is greater than 21600 and the other entity is less than or equal to 28080
(=> (instance ?T TwentyFtHeavyDutyContainer) (height ?T (MeasureFn 102 Inch)))	Transportation.kif 2887-2890	If a self connected object is an instance of TwentyFtHeavyDutyContainer, then the height of the self connected object is 102 Inch(s)
(=> (instance ?X TwentyFtHeavyDutyContainer) (measure ?X (MeasureFn 1 TEU)))	Transportation.kif 2892-2894	If a physical is an instance of TwentyFtHeavyDutyContainer, then the measure of the physical is 1 TEU(s)
(=> (instance ?X TwentyFtHeavyDutyContainer) (measure ?X (MeasureFn 1172 CubicFoot)))	Transportation.kif 2896-2898	If a physical is an instance of TwentyFtHeavyDutyContainer, then the measure of the physical is 1172 CubicFoot(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 is open source software produced by Articulate Software and its partners