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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - PressureMeasuringDevice
PressureMeasuringDevice

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


(documentation PressureMeasuringDevice EnglishLanguage "Any Device that measures and represents PressureMeasure.") Mid-level-ontology.kif 2853-2854
(externalImage PressureMeasuringDevice "http://upload.wikimedia.org/wikipedia/ commons/ thumb/ 4/ 41/ Barometer.JPG/ 180px-Barometer.JPG") pictureList.kif 1221-1221
(subclass PressureMeasuringDevice MeasuringDevice) Mid-level-ontology.kif 2852-2852

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


(subclass BarometricAltimeter PressureMeasuringDevice) MilitaryDevices.kif 1470-1470
(subclass EngineMAPSensor PressureMeasuringDevice) Cars.kif 3279-3279
(termFormat ChineseLanguage PressureMeasuringDevice "压力测量装置") domainEnglishFormat.kif 47253-47253
(termFormat ChineseTraditionalLanguage PressureMeasuringDevice "壓力測量裝置") domainEnglishFormat.kif 47252-47252
(termFormat EnglishLanguage PressureMeasuringDevice "pressure measuring device") domainEnglishFormat.kif 47251-47251


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