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

Formal Language: 



KB Term:  Term intersection
English Word: 

  RefrigeratedCargoShip

Sigma KEE - RefrigeratedCargoShip
RefrigeratedCargoShip(冷藏货船)

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


(externalImage RefrigeratedCargoShip "http://upload.wikimedia.org/wikipedia/ commons/ 1/ 1b/ Salica_Frigo_cropped.jpg") pictureList.kif 1950-1950
(subclass RefrigeratedCargoShip CargoShip) Transportation.kif 2343-2343 冷藏货船货船subclass

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


(names "refrigerated carrier" RefrigeratedCargoShip) Transportation.kif 2344-2344 冷藏货船 的名 是 "refrigerated carrier"
(termFormat ChineseLanguage RefrigeratedCargoShip "冷藏货船") domainEnglishFormat.kif 49156-49156
(termFormat ChineseTraditionalLanguage RefrigeratedCargoShip "冷藏貨船") domainEnglishFormat.kif 49155-49155
(termFormat EnglishLanguage RefrigeratedCargoShip "refrigerated cargo ship") domainEnglishFormat.kif 49154-49154


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