Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
BarometricAltimeter(barometric altimeter)
|
| appearance as argument number 1 |
|
| (subclass BarometricAltimeter Altimeter) | MilitaryDevices.kif 1626-1626 | Barometric altimeter is a subclass of altimeter |
| (subclass BarometricAltimeter PressureMeasuringDevice) | MilitaryDevices.kif 1627-1627 | Barometric altimeter is a subclass of pressure measuring device |
| (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 1628-1630 | Barometric altimeter is a subclass of pressure measuring device |
| (externalImage BarometricAltimeter "http://upload.wikimedia.org/wikipedia/ en/ c/ c3/ Sens_alt_components.PNG") | pictureList.kif 4534-4534 | Barometric altimeter is a subclass of pressure measuring device |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (and (instance ?MEASURE Measuring) (patient ?MEASURE ?OBJ) (result ?MEASURE ?QUANTITY) (instrument ?MEASURE ?BAROMETER) (instance ?BAROMETER BarometricAltimeter)) (altitude ?OBJ SeaLevel ?QUANTITY)) |
MilitaryDevices.kif 1634-1641 | If X is an instance of measuring, Y is a patient of X, Z is a result of X, W is an instrument for X, and W is an instance of barometric altimeter, then the altitude of Y relative to sea level is Z |
| (=> (and (instance ?MEASURE Measuring) (patient ?MEASURE ?OBJ) (surface ?OBJ PlanetEarth) (result ?MEASURE ?QUANTITY) (instrument ?MEASURE ?BAROMETER) (instance ?BAROMETER BarometricAltimeter)) (elevation ?OBJ ?QUANTITY)) |
MilitaryDevices.kif 1645-1653 | If All of the following hold: (1) X is an instance of measuring (2) Y is a patient of X (3) Y is a surface of planet earth (4) Z is a result of X (5) W is an instrument for X (6) W is an instance of barometric altimeter, then Z is an elevation of Y |
|