| Altimeter
| |
| 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 1578-1580 | |
| (externalImage Altimeter "http://upload.wikimedia.org/wikipedia/commons/ thumb/ 5/ 57/ 3-Pointer_Altimeter.svg/ 180px-3-Pointer_Altimeter.svg.png") | pictureList.kif 1024-1024 | |
| (subclass Altimeter MeasuringDevice) | MilitaryDevices.kif 1577-1577 |
| appearance as argument number 2 |
|
|
| (subclass AbsoluteAltimeter Altimeter) | MilitaryDevices.kif 1591-1591 | |
| (subclass BarometricAltimeter Altimeter) | MilitaryDevices.kif 1626-1626 | |
| (termFormat ChineseLanguage Altimeter "高度表") | domainEnglishFormat.kif 7003-7003 | |
| (termFormat ChineseTraditionalLanguage Altimeter "高度表") | domainEnglishFormat.kif 7002-7002 | |
| (termFormat EnglishLanguage Altimeter "altimeter") | domainEnglishFormat.kif 7001-7001 |
| antecedent |
|
|
| (=> (and (instance ?MEASURE Measuring) (result ?MEASURE ?QUANTITY) (instrument ?MEASURE ?ALTIMETER) (instance ?ALTIMETER Altimeter)) (instance ?QUANTITY AltitudeMeasure)) |
MilitaryDevices.kif 1583-1589 |
|
|
|