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 2337-2337 RefrigeratedCargoShip est une sous-classe de CargoShip

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


(names "refrigerated carrier" RefrigeratedCargoShip) Transportation.kif 2338-2338 RefrigeratedCargoShip s'appele nom "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 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