Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  Altimeter

Sigma KEE - Altimeter
Altimeter(高度表)

appearance as argument number 1
-------------------------


(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 1421-1423
(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
(subclass Altimeter MeasuringDevice) MilitaryDevices.kif 1420-1420 高度表测量工具subclass

appearance as argument number 2
-------------------------


(subclass AbsoluteAltimeter Altimeter) MilitaryDevices.kif 1434-1434 绝对高度计高度表subclass
(subclass BarometricAltimeter Altimeter) MilitaryDevices.kif 1469-1469 气压高度计高度表subclass
(termFormat ChineseLanguage Altimeter "高度表") domainEnglishFormat.kif 6996-6996
(termFormat ChineseTraditionalLanguage Altimeter "高度表") domainEnglishFormat.kif 6995-6995
(termFormat EnglishLanguage Altimeter "altimeter") domainEnglishFormat.kif 6994-6994

antecedent
-------------------------


(=>
    (and
        (instance ?MEASURE Measuring)
        (result ?MEASURE ?QUANTITY)
        (instrument ?MEASURE ?ALTIMETER)
        (instance ?ALTIMETER Altimeter))
    (instance ?QUANTITY AltitudeMeasure))
MilitaryDevices.kif 1426-1432


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners