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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - OffshoreWellProductionShip
OffshoreWellProductionShip

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


(subclass OffshoreWellProductionShip Ship) Transportation.kif 2445-2445 OffshoreWellProductionShip est une sous-classe de Ship

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


(termFormat ChineseLanguage OffshoreWellProductionShip "海外井生产船") domainEnglishFormat.kif 41898-41898
(termFormat ChineseTraditionalLanguage OffshoreWellProductionShip "海外井生產船") domainEnglishFormat.kif 41897-41897
(termFormat EnglishLanguage OffshoreWellProductionShip "offshore well production ship") domainEnglishFormat.kif 41896-41896


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