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

Formal Language: 



KB Term:  Term intersection
English Word: 

  RefrigeratedCargoShip

Sigma KEE - RefrigeratedCargoShip
RefrigeratedCargoShip(refrigerated cargo ship)

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 2337-2337 Refrigerated cargo ship is a subclass of cargo ship

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


(names "refrigerated carrier" RefrigeratedCargoShip) Transportation.kif 2338-2338 Refrigerated cargo ship has name "refrigerated carrier"
(termFormat ChineseLanguage RefrigeratedCargoShip "冷藏货船") domainEnglishFormat.kif 49154-49154
(termFormat ChineseTraditionalLanguage RefrigeratedCargoShip "冷藏貨船") domainEnglishFormat.kif 49153-49153
(termFormat EnglishLanguage RefrigeratedCargoShip "refrigerated cargo ship") domainEnglishFormat.kif 49152-49152


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