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


KB Term:  Term intersection
English Word: 

Sigma KEE - DisplacementHullWaterVehicle
DisplacementHullWaterVehicle

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


(subclass DisplacementHullWaterVehicle WaterVehicle) Mid-level-ontology.kif 32661-32661
(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.") Mid-level-ontology.kif 32662-32664
(disjoint DisplacementHullWaterVehicle PlaningHullWaterVehicle) Transportation.kif 2705-2705
(externalImage DisplacementHullWaterVehicle "http://upload.wikimedia.org/ wikipedia/ commons/ c/ cd/ Hullform-3D.PNG") pictureList.kif 2662-2662
(externalImage DisplacementHullWaterVehicle "http://upload.wikimedia.org/ wikipedia/ commons/ d/ dd/ LOA_LWL.PNG") pictureList.kif 2791-2791

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


(subclass Ship DisplacementHullWaterVehicle) Mid-level-ontology.kif 32666-32666
(termFormat EnglishLanguage DisplacementHullWaterVehicle "displacement hull water vehicle") domainEnglishFormat.kif 19896-19896
(termFormat ChineseTraditionalLanguage DisplacementHullWaterVehicle "排水型船體水車") domainEnglishFormat.kif 19897-19897
(termFormat ChineseLanguage DisplacementHullWaterVehicle "排水型船体水车") domainEnglishFormat.kif 19898-19898


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.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners