| AbsoluteAltimeter(absolute altimeter) | | absolute_altimeter, 絕對高度計, 绝对高度计 |
| appearance as argument number 1 |
|
|
| (documentation AbsoluteAltimeter EnglishLanguage "A type of Altimeter that measures vertical distance to the surface below, using radio, radar, sonic, laser, or capacitive technology.") | MilitaryDevices.kif 1435-1437 | |
| (subclass AbsoluteAltimeter Altimeter) | MilitaryDevices.kif 1434-1434 | Absolute altimeter is a subclass of altimeter |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage AbsoluteAltimeter "绝对高度计") | domainEnglishFormat.kif 5129-5129 | "绝对高度计" is the printable form of absolute altimeter in ChineseLanguage |
| (termFormat ChineseTraditionalLanguage AbsoluteAltimeter "絕對高度計") | domainEnglishFormat.kif 5128-5128 | "絕對高度計" is the printable form of absolute altimeter in ChineseTraditionalLanguage |
| (termFormat EnglishLanguage AbsoluteAltimeter "absolute altimeter") | domainEnglishFormat.kif 5127-5127 | "absolute altimeter" is the printable form of absolute altimeter in english language |
| antecedent |
|
|
| (=> (and (instance ?MEASURE Measuring) (patient ?MEASURE ?OBJ) (result ?MEASURE ?QUANTITY) (instrument ?MEASURE ?ABSOLUTEMETER) (instance ?ABSOLUTEMETER AbsoluteAltimeter)) (exists (?OBJ2) (and (altitude ?OBJ ?OBJ2 ?QUANTITY) (surface ?OBJ2 PlanetEarth)))) |
MilitaryDevices.kif 1441-1451 |
|
|
|
|