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

Formal Language: 



KB Term:  Term intersection
English Word: 

  RefrigeratorCar

Sigma KEE - RefrigeratorCar
RefrigeratorCar(refrigerator car)
refrigerator_car

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


(externalImage RefrigeratorCar "http://upload.wikimedia.org/wikipedia/commons/ 1/ 19/ TPIX_250.JPG") pictureList.kif 2622-2622
(subclass RefrigeratorCar Boxcar) Transportation.kif 2216-2216 Refrigerator car is a subclass of boxcar

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


(termFormat ChineseLanguage RefrigeratorCar "冰箱车") domainEnglishFormat.kif 49190-49190
(termFormat ChineseTraditionalLanguage RefrigeratorCar "冰箱車") domainEnglishFormat.kif 49189-49189
(termFormat EnglishLanguage RefrigeratorCar "refrigerator car") domainEnglishFormat.kif 49188-49188


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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