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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - OffshoreSupplyShip
OffshoreSupplyShip(海外供应船)

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


(subclass OffshoreSupplyShip Ship) Transportation.kif 2443-2443 海外供应船subclass

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


(termFormat ChineseLanguage OffshoreSupplyShip "海外供应船") domainEnglishFormat.kif 41886-41886
(termFormat ChineseTraditionalLanguage OffshoreSupplyShip "海外供應船") domainEnglishFormat.kif 41885-41885
(termFormat EnglishLanguage OffshoreSupplyShip "offshore supply ship") domainEnglishFormat.kif 41884-41884


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