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

Formal Language: 



KB Term:  Term intersection
English Word: 

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

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


(names "refrigerated carrier" RefrigeratedCargoShip) Transportation.kif 2344-2344
(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 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