Altimeter - Sigma Knowledge base Browser

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

(subclass AbsoluteAltimeter Altimeter)	MilitaryDevices.kif 1591-1591	Absolute altimeter is a subclass of altimeter
(subclass BarometricAltimeter Altimeter)	MilitaryDevices.kif 1626-1626	Barometric altimeter is a subclass of altimeter
(termFormat EnglishLanguage Altimeter "altimeter")	domainEnglishFormat.kif 6995-6995	Barometric altimeter is a subclass of altimeter
(termFormat ChineseTraditionalLanguage Altimeter "高度表")	domainEnglishFormat.kif 6996-6996	Barometric altimeter is a subclass of altimeter
(termFormat ChineseLanguage Altimeter "高度表")	domainEnglishFormat.kif 6997-6997	Barometric altimeter is a subclass of altimeter

antecedent

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