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 2912-2913
(externalImage PressureMeasuringDevice "http://upload.wikimedia.org/wikipedia/ commons/ thumb/ 4/ 41/ Barometer.JPG/ 180px-Barometer.JPG") pictureList.kif 1220-1220
(subclass PressureMeasuringDevice MeasuringDevice) Mid-level-ontology.kif 2911-2911

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


(subclass BarometricAltimeter PressureMeasuringDevice) MilitaryDevices.kif 1470-1470
(subclass EngineMAPSensor PressureMeasuringDevice) Cars.kif 3339-3339
(termFormat ChineseLanguage PressureMeasuringDevice "压力测量装置") domainEnglishFormat.kif 47303-47303
(termFormat ChineseTraditionalLanguage PressureMeasuringDevice "壓力測量裝置") domainEnglishFormat.kif 47302-47302
(termFormat EnglishLanguage PressureMeasuringDevice "pressure measuring device") domainEnglishFormat.kif 47301-47301


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