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

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - PressureMeasuringDevice
PressureMeasuringDevice(pressure measuring device)
aneroid, aneroid_barometer, barometer, manometer

appearance as argument number 1

(documentation PressureMeasuringDevice EnglishLanguage "Any Device that measures and represents PressureMeasure.") Mid-level-ontology.kif 2851-2852
(externalImage PressureMeasuringDevice " commons/ thumb/ 4/ 41/ Barometer.JPG/ 180px-Barometer.JPG") pictureList.kif 1221-1221
(subclass PressureMeasuringDevice MeasuringDevice) Mid-level-ontology.kif 2850-2850 Pressure measuring device is a subclass of measuring device

appearance as argument number 2

(subclass BarometricAltimeter PressureMeasuringDevice) MilitaryDevices.kif 1470-1470 Barometric altimeter is a subclass of pressure measuring device
(subclass EngineMAPSensor PressureMeasuringDevice) Cars.kif 3293-3293 Manifold absolute pressure sensor is a subclass of pressure measuring device
(termFormat ChineseLanguage PressureMeasuringDevice "压力测量装置") domainEnglishFormat.kif 47252-47252
(termFormat ChineseTraditionalLanguage PressureMeasuringDevice "壓力測量裝置") domainEnglishFormat.kif 47251-47251
(termFormat EnglishLanguage PressureMeasuringDevice "pressure measuring device") domainEnglishFormat.kif 47250-47250

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