TwentyFtHighcubeContainer - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - TwentyFtHighcubeContainer

TwentyFtHighcubeContainer(twenty foot high cube container)

appearance as argument number 1

(documentation TwentyFtHighcubeContainer EnglishLanguage "A TwentyFtHighcubeContainer is one foot taller than the TwentyFtStandardContainer. It occupies a space of 20 feet (6.1 m) long, 8 feet (2.44 m) wide, and 9 feet 6 inches (2.90 m) high. [Wikipedia]")	Transportation.kif 2901-2903
(subclass TwentyFtHighcubeContainer TwentyFtContainer)	Transportation.kif 2900-2900	Twenty foot high cube container is a subclass of twenty foot container

appearance as argument number 2

(termFormat EnglishLanguage TwentyFtHighcubeContainer "twenty foot high cube container")

domainEnglishFormat.kif 59683-59683

antecedent

(=> (instance ?T TwentyFtHighcubeContainer) (height ?T (MeasureFn 114 Inch)))	Transportation.kif 2905-2908	If a self connected object is an instance of twenty foot high cube container, then the height of the self connected object is 114 inch(s)
(=> (instance ?X TwentyFtHighcubeContainer) (measure ?X (MeasureFn 1 TEU)))	Transportation.kif 2910-2912	If a physical is an instance of twenty foot high cube container, then the measure of the physical is 1 teu(s)
(=> (instance ?X TwentyFtHighcubeContainer) (measure ?X (MeasureFn 1520 CubicFoot)))	Transportation.kif 2914-2916	If a physical is an instance of twenty foot high cube container, then the measure of the physical is 1520 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