absoluteHeight - Sigma Knowledge base Browser

appearance as argument number 1

(instance absoluteHeight SingleValuedRelation)	MilitaryDevices.kif 1610-1610	absolute height is an instance of single valued relation
(instance absoluteHeight SpatialRelation)	MilitaryDevices.kif 1611-1611	absolute height is an instance of spatial relation
(instance absoluteHeight BinaryPredicate)	MilitaryDevices.kif 1612-1612	absolute height is an instance of binary predicate
(domain absoluteHeight 1 Aircraft)	MilitaryDevices.kif 1613-1613	The number 1 argument of absolute height is an instance of aircraft
(domain absoluteHeight 2 AltitudeMeasure)	MilitaryDevices.kif 1614-1614	The number 2 argument of absolute height is an instance of altitude measure
(documentation absoluteHeight EnglishLanguage "The height of an aircraft directly above the surface or terrain over which it is flying.")	MilitaryDevices.kif 1616-1617	The number 2 argument of absolute height is an instance of altitude measure

appearance as argument number 2

(format EnglishLanguage absoluteHeight "%1 is %n at an absolute height of %2.")	MilitaryDevices.kif 2190-2190
(format EnglishLanguage absoluteHeight "%2 is %n the absolute height of %1")	domainEnglishFormat.kif 30-30
(format ChineseTraditionalLanguage absoluteHeight "%2 %n 是 absolute %1 的高度")	domainEnglishFormat.kif 31-31
(format ChineseLanguage absoluteHeight "%2 %n 是 absolute %1 的高度")	domainEnglishFormat.kif 32-32
(termFormat EnglishLanguage absoluteHeight "absolute height")	domainEnglishFormat.kif 5149-5149
(termFormat ChineseTraditionalLanguage absoluteHeight "絕對高度")	domainEnglishFormat.kif 5150-5150
(termFormat ChineseLanguage absoluteHeight "绝对高度")	domainEnglishFormat.kif 5151-5151

consequent

(<=>
    (and
        (altitude ?AIRCRAFT ?OBJ2 ?QUANTITY)
        (surface ?OBJ2 PlanetEarth)
        (instance ?AIRCRAFT Aircraft))
    (absoluteHeight ?AIRCRAFT ?QUANTITY))

The altitude of X relative to Y is Z, Y is a surface of planet earth, X is an instance of aircraft if, and only if Z is the absolute height of X