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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - DisplacementHullWaterVehicle
DisplacementHullWaterVehicle

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


(disjoint DisplacementHullWaterVehicle PlaningHullWaterVehicle) Transportation.kif 2287-2287
(documentation DisplacementHullWaterVehicle EnglishLanguage "DisplacementHullWaterVehicle is a subclass of WaterVehicle with hulls designed to move water aside as they move through the water. Contrast with PlaningHullWaterVehicle.") Transportation.kif 2288-2290
(externalImage DisplacementHullWaterVehicle "http://upload.wikimedia.org/ wikipedia/ commons/ c/ cd/ Hullform-3D.PNG") pictureList.kif 2664-2664
(externalImage DisplacementHullWaterVehicle "http://upload.wikimedia.org/ wikipedia/ commons/ d/ dd/ LOA-LWL.PNG") pictureList.kif 2793-2793
(subclass DisplacementHullWaterVehicle WaterVehicle) Transportation.kif 2286-2286

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


(subclass Ship DisplacementHullWaterVehicle) Transportation.kif 2292-2292
(termFormat ChineseLanguage DisplacementHullWaterVehicle "排水型船体水车") domainEnglishFormat.kif 19894-19894
(termFormat ChineseTraditionalLanguage DisplacementHullWaterVehicle "排水型船體水車") domainEnglishFormat.kif 19893-19893
(termFormat EnglishLanguage DisplacementHullWaterVehicle "displacement hull water vehicle") domainEnglishFormat.kif 19892-19892


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