TwentyFtHalfHeightContainer - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - TwentyFtHalfHeightContainer

TwentyFtHalfHeightContainer(twenty foot half height container)

appearance as argument number 1

(documentation TwentyFtHalfHeightContainer EnglishLanguage "A TwentyFtHalfHeightContainer is half the height of the TwentyFtStandardContainer. It occupies a space of 20 feet (6.1 m) long, 8 feet (2.44 m) wide, and 4 feet 3 inches (1.3 m) high. [Wikipedia]")	Transportation.kif 2919-2921
(subclass TwentyFtHalfHeightContainer TwentyFtContainer)	Transportation.kif 2918-2918	Twenty foot half height container is a subclass of twenty foot container

appearance as argument number 2

(termFormat EnglishLanguage TwentyFtHalfHeightContainer "twenty foot half height container")

domainEnglishFormat.kif 59679-59679

antecedent

(=> (instance ?T TwentyFtHalfHeightContainer) (height ?T (MeasureFn 53 Inch)))	Transportation.kif 2923-2926	If a self connected object is an instance of twenty foot half height container, then the height of the self connected object is 53 inch(s)
(=> (instance ?X TwentyFtHalfHeightContainer) (measure ?X (MeasureFn 1 TEU)))	Transportation.kif 2928-2930	If a physical is an instance of twenty foot half height container, then the measure of the physical is 1 teu(s)
(=> (instance ?X TwentyFtHalfHeightContainer) (measure ?X (MeasureFn 680 CubicFoot)))	Transportation.kif 2932-2934	If a physical is an instance of twenty foot half height container, then the measure of the physical is 680 cubic foot(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