AbsoluteAltimeter
|
|
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 5124-5124 | |
(termFormat ChineseTraditionalLanguage AbsoluteAltimeter "絕對高度計") | domainEnglishFormat.kif 5123-5123 | |
(termFormat EnglishLanguage AbsoluteAltimeter "absolute altimeter") | domainEnglishFormat.kif 5122-5122 |
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 |
|