![]() |
![]() Browsing Interface : Welcome guest : log in |
[
Home | 
Graph | 
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| Altimeter(altimeter) | altimeter, hypsometer |
| appearance as argument number 1 |
|
|
| (subclass Altimeter MeasuringDevice) | MilitaryDevices.kif 1577-1577 | Altimeter is a subclass of measuring device |
| (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 | Altimeter is a subclass of measuring device |
| (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 | Altimeter is a subclass of measuring device |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (and (instance ?MEASURE Measuring) (result ?MEASURE ?QUANTITY) (instrument ?MEASURE ?ALTIMETER) (instance ?ALTIMETER Altimeter)) (instance ?QUANTITY AltitudeMeasure)) |
MilitaryDevices.kif 1583-1589 | If X is an instance of measuring, Y is a result of X, Z is an instrument for X, and Z is an instance of altimeter, then Y is an instance of altitude measure |