AltitudeMeasure - Sigma Knowledge base Browser

appearance as argument number 1

(documentation AltitudeMeasure EnglishLanguage "The vertical distance of a level, a point or an object considered as a point, measured from mean sea level.")	MilitaryDevices.kif 1498-1500
(externalImage AltitudeMeasure "http://upload.wikimedia.org/wikipedia/commons/ 7/ 7e/ Vertical_distances.png")	pictureList.kif 8333-8333
(subclass AltitudeMeasure LengthMeasure)	MilitaryDevices.kif 1497-1497

appearance as argument number 2

domainEnglishFormat.kif 1602-1602

appearance as argument number 3

(domain absoluteHeight 2 AltitudeMeasure)

MilitaryDevices.kif 1456-1456

consequent

(=>
    (and
        (instance ?MEASURE Measuring)
        (result ?MEASURE ?QUANTITY)
        (instrument ?MEASURE ?ALTIMETER)
        (instance ?ALTIMETER Altimeter))
    (instance ?QUANTITY AltitudeMeasure))

MilitaryDevices.kif 1425-1431