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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Dredger
Dredger

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


(externalImage Dredger "http://upload.wikimedia.org/wikipedia/commons/c/ ce/ Dredge_No-4_%281%29.JPG") pictureList.kif 2151-2151
(externalImage Dredger "http://upload.wikimedia.org/wikipedia/en/4/47/OrisantDredger.jpg") pictureList.kif 1733-1733
(subclass Dredger Ship) Transportation.kif 2449-2449 Dredger est une sous-classe de Ship

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


(subclass HopperDredger Dredger) Transportation.kif 2450-2450 HopperDredger est une sous-classe de Dredger
(termFormat ChineseLanguage Dredger "挖泥船") domainEnglishFormat.kif 20376-20376
(termFormat ChineseTraditionalLanguage Dredger "挖泥船") domainEnglishFormat.kif 20375-20375
(termFormat EnglishLanguage Dredger "dredger") domainEnglishFormat.kif 20374-20374


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