FortyfiveFtContainer - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - FortyfiveFtContainer

FortyfiveFtContainer(forty five foot container)

appearance as argument number 1

(documentation FortyfiveFtContainer EnglishLanguage "A FortyfiveFtContainer may be pulled as a trailer in Europe and most other places. It occupies a space of 45 feet (13.72 m) long, 8 feet (2.44 m) wide, and 8 feet 6 inches (2.59 m) high. [Wikipedia]")	Transportation.kif 3005-3007
(subclass FortyfiveFtContainer ShipContainer)	Transportation.kif 3004-3004	Forty five foot container is a subclass of ship container

appearance as argument number 2

(termFormat EnglishLanguage FortyfiveFtContainer "forty five foot container")

domainEnglishFormat.kif 24780-24780

antecedent

(=> (instance ?T FortyfiveFtContainer) (and (length ?T (MeasureFn 45 FootLength)) (height ?T (MeasureFn 102 Inch)) (width ?T (MeasureFn 8 FootLength))))	Transportation.kif 3009-3017	If a self connected object is an instance of forty five foot container, then the length of the self connected object is 45 foot length(s) and the height of the self connected object is 102 inch(s) and the width of the self connected object is 8 foot length(s)
(=> (instance ?X FortyfiveFtContainer) (measure ?X (MeasureFn 2 TEU)))	Transportation.kif 3019-3021	If a physical is an instance of forty five foot container, then the measure of the physical is 2 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 is open source software produced by Articulate Software and its partners