Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Boxcar
Boxcar

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


(documentation Boxcar EnglishLanguage "Boxcar is the subclass of Railcars that are general-purpose closed cars for hauling freight.") Transportation.kif 2145-2146
(externalImage Boxcar "http://upload.wikimedia.org/wikipedia/commons/6/61/ 40and8s_style_boxcar.JPG") pictureList.kif 2541-2541
(externalImage Boxcar "http://upload.wikimedia.org/wikipedia/en/d/df/Box_car_HLMX_60036_20040808.jpg") pictureList.kif 2542-2542
(subclass Boxcar FreightCar) Transportation.kif 2144-2144 BoxcarFreightCarsubclass では %n

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


(subclass RefrigeratorCar Boxcar) Transportation.kif 2216-2216 RefrigeratorCarBoxcarsubclass では %n
(termFormat ChineseLanguage Boxcar "棚车") domainEnglishFormat.kif 11807-11807
(termFormat ChineseTraditionalLanguage Boxcar "棚車") domainEnglishFormat.kif 11806-11806
(termFormat EnglishLanguage Boxcar "boxcar") domainEnglishFormat.kif 11805-11805


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