Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - AbsoluteAltimeter
AbsoluteAltimeter(absolute altimeter)

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


(subclass AbsoluteAltimeter Altimeter) MilitaryDevices.kif 1591-1591 Absolute altimeter is a subclass of altimeter
(documentation AbsoluteAltimeter EnglishLanguage "A type of Altimeter that measures vertical distance to the surface below, using radio, radar, sonic, laser, or capacitive technology.") MilitaryDevices.kif 1592-1594 Absolute altimeter is a subclass of altimeter

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


(termFormat EnglishLanguage AbsoluteAltimeter "absolute altimeter") domainEnglishFormat.kif 5131-5131
(termFormat ChineseTraditionalLanguage AbsoluteAltimeter "絕對高度計") domainEnglishFormat.kif 5132-5132
(termFormat ChineseLanguage AbsoluteAltimeter "绝对高度计") domainEnglishFormat.kif 5133-5133

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


(=>
    (and
        (instance ?MEASURE Measuring)
        (patient ?MEASURE ?OBJ)
        (result ?MEASURE ?QUANTITY)
        (instrument ?MEASURE ?ABSOLUTEMETER)
        (instance ?ABSOLUTEMETER AbsoluteAltimeter))
    (exists (?OBJ2)
        (and
            (altitude ?OBJ ?OBJ2 ?QUANTITY)
            (surface ?OBJ2 PlanetEarth))))		 MilitaryDevices.kif 1598-1608 If X is an instance of measuring, Y is a patient of X, Z is a result of X, W is an instrument for X, and W is an instance of absolute altimeter, then there exists V such that the altitude of Y relative to V is Z and V is a surface of planet earth


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


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners