| BarometricAltimeter
|
| appearance as argument number 1 |
|
| (documentation BarometricAltimeter EnglishLanguage "A type of Altimeter which measures vertical distance to the mean sea level, using pressure level and calculated according to the standard atmosphere laws.") | MilitaryDevices.kif 1471-1473 | |
| (externalImage BarometricAltimeter "http://upload.wikimedia.org/wikipedia/ en/ c/ c3/ Sens_alt_components.PNG") | pictureList.kif 4535-4535 | |
| (subclass BarometricAltimeter Altimeter) | MilitaryDevices.kif 1469-1469 | |
| (subclass BarometricAltimeter PressureMeasuringDevice) | MilitaryDevices.kif 1470-1470 |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage BarometricAltimeter "气压高度计") | domainEnglishFormat.kif 9978-9978 | |
| (termFormat ChineseTraditionalLanguage BarometricAltimeter "氣壓高度計") | domainEnglishFormat.kif 9977-9977 | |
| (termFormat EnglishLanguage BarometricAltimeter "barometric altimeter") | domainEnglishFormat.kif 9976-9976 |
| antecedent |
|
|
| (=> (and (instance ?MEASURE Measuring) (patient ?MEASURE ?OBJ) (result ?MEASURE ?QUANTITY) (instrument ?MEASURE ?BAROMETER) (instance ?BAROMETER BarometricAltimeter)) (altitude ?OBJ SeaLevel ?QUANTITY)) |
MilitaryDevices.kif 1477-1484 | |
| (=> (and (instance ?MEASURE Measuring) (patient ?MEASURE ?OBJ) (surface ?OBJ PlanetEarth) (result ?MEASURE ?QUANTITY) (instrument ?MEASURE ?BAROMETER) (instance ?BAROMETER BarometricAltimeter)) (elevation ?OBJ ?QUANTITY)) |
MilitaryDevices.kif 1488-1496 |
|
|
|