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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - PlaningHullWaterVehicle
PlaningHullWaterVehicle(planing hull water vehicle)
flat-bottom, flat-bottomed

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


No TPTP formula. May not be expressible in strict first order. Transportation.kif 2462-2465
No TPTP formula. May not be expressible in strict first order. pictureList.kif 2724-2724
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2461-2461 Planing hull water vehicle is a subclass of water vehicle

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


No TPTP formula. May not be expressible in strict first order. Transportation.kif 2298-2298 Displacement hull water vehicle is disjoint from planing hull water vehicle
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 46092-46092
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 46091-46091
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 46090-46090


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