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 1499-1501
(externalImage AltitudeMeasure "http://upload.wikimedia.org/wikipedia/commons/ 7/ 7e/ Vertical_distances.png")	pictureList.kif 8333-8333
(subclass AltitudeMeasure LengthMeasure)	MilitaryDevices.kif 1498-1498	Altitude measure is a subclass of length measure

appearance as argument number 2

(termFormat ChineseLanguage AltitudeMeasure "高度测量")	domainEnglishFormat.kif 7019-7019
(termFormat ChineseTraditionalLanguage AltitudeMeasure "高度測量")	domainEnglishFormat.kif 7018-7018
(termFormat EnglishLanguage AltitudeMeasure "altitude measure")	domainEnglishFormat.kif 7017-7017

appearance as argument number 3

(domain absoluteHeight 2 AltitudeMeasure)

MilitaryDevices.kif 1457-1457

consequent

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

MilitaryDevices.kif 1426-1432