| Altimeter(altimeter)
| | altimeter, hypsometer |
| appearance as argument number 1 |
|
|
| (documentation Altimeter EnglishLanguage "A Device that measures the vertical distance to the some reference point of the surface below. This may be the mean sea level or the actual surface of the earth.") | MilitaryDevices.kif 1421-1423 | |
| (externalImage Altimeter "http://upload.wikimedia.org/wikipedia/commons/ thumb/ 5/ 57/ 3-Pointer_Altimeter.svg/ 180px-3-Pointer_Altimeter.svg.png") | pictureList.kif 1025-1025 | |
| (subclass Altimeter MeasuringDevice) | MilitaryDevices.kif 1420-1420 | Altimeter is a subclass of measuring device |
| appearance as argument number 2 |
|
|
| (subclass AbsoluteAltimeter Altimeter) | MilitaryDevices.kif 1434-1434 | Absolute altimeter is a subclass of altimeter |
| (subclass BarometricAltimeter Altimeter) | MilitaryDevices.kif 1469-1469 | Barometric altimeter is a subclass of altimeter |
| (termFormat ChineseLanguage Altimeter "高度表") | domainEnglishFormat.kif 7005-7005 | |
| (termFormat ChineseTraditionalLanguage Altimeter "高度表") | domainEnglishFormat.kif 7004-7004 | |
| (termFormat EnglishLanguage Altimeter "altimeter") | domainEnglishFormat.kif 7003-7003 |
| antecedent |
|
|
| (=> (and (instance ?MEASURE Measuring) (result ?MEASURE ?QUANTITY) (instrument ?MEASURE ?ALTIMETER) (instance ?ALTIMETER Altimeter)) (instance ?QUANTITY AltitudeMeasure)) |
MilitaryDevices.kif 1426-1432 |
|
|
|
|