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


KB Term:  Term intersection
English Word: 

Sigma KEE - DisplacementHullWaterVehicle
DisplacementHullWaterVehicle
skiff

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


(disjoint DisplacementHullWaterVehicle PlaningHullWaterVehicle) Transportation.kif 2472-2472 DisplacementHullWaterVehicle is disjoint from PlaningHullWaterVehicle
(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 2473-2475 DisplacementHullWaterVehicle is disjoint from PlaningHullWaterVehicle
(externalImage DisplacementHullWaterVehicle "http://upload.wikimedia.org/ wikipedia/ commons/ c/ cd/ Hullform-3D.PNG") pictureList.kif 2662-2662 DisplacementHullWaterVehicle is disjoint from PlaningHullWaterVehicle
(externalImage DisplacementHullWaterVehicle "http://upload.wikimedia.org/ wikipedia/ commons/ d/ dd/ LOA_LWL.PNG") pictureList.kif 2791-2791 DisplacementHullWaterVehicle is disjoint from PlaningHullWaterVehicle
(subclass DisplacementHullWaterVehicle WaterVehicle) Transportation.kif 2471-2471 DisplacementHullWaterVehicle is a subclass of WaterVehicle

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


(subclass Ship DisplacementHullWaterVehicle) Transportation.kif 2477-2477 Ship is a subclass of DisplacementHullWaterVehicle
(termFormat ChineseLanguage DisplacementHullWaterVehicle "排水型船体水车") domainEnglishFormat.kif 19904-19904 Ship is a subclass of DisplacementHullWaterVehicle
(termFormat ChineseTraditionalLanguage DisplacementHullWaterVehicle "排水型船體水車") domainEnglishFormat.kif 19903-19903 Ship is a subclass of DisplacementHullWaterVehicle
(termFormat EnglishLanguage DisplacementHullWaterVehicle "displacement hull water vehicle") domainEnglishFormat.kif 19902-19902 Ship is a subclass of DisplacementHullWaterVehicle


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