absoluteHeight |
appearance as argument number 1 |
(documentation absoluteHeight EnglishLanguage "The height of an aircraft directly above the surface or terrain over which it is flying.") | MilitaryDevices.kif 1459-1460 | |
(domain absoluteHeight 1 Aircraft) | MilitaryDevices.kif 1456-1456 | The number 1 argument of absolute height is an instance of aircraft |
(domain absoluteHeight 2 AltitudeMeasure) | MilitaryDevices.kif 1457-1457 | The number 2 argument of absolute height is an instance of altitude measure |
(instance absoluteHeight BinaryPredicate) | MilitaryDevices.kif 1455-1455 | absolute height is an instance of binary predicate |
(instance absoluteHeight SingleValuedRelation) | MilitaryDevices.kif 1453-1453 | absolute height is an instance of single valued relation |
(instance absoluteHeight SpatialRelation) | MilitaryDevices.kif 1454-1454 | absolute height is an instance of spatial relation |
appearance as argument number 2 |
(format ChineseLanguage absoluteHeight "%2 %n 是 absolute %1 的高度") | domainEnglishFormat.kif 32-32 | |
(format ChineseTraditionalLanguage absoluteHeight "%2 %n 是 absolute %1 的高度") | domainEnglishFormat.kif 31-31 | |
(format EnglishLanguage absoluteHeight "%1 is %n at an absolute height of %2.") | MilitaryDevices.kif 2037-2037 | |
(format EnglishLanguage absoluteHeight "%2 is %n the absolute height of %1") | domainEnglishFormat.kif 30-30 | |
(termFormat ChineseLanguage absoluteHeight "绝对高度") | domainEnglishFormat.kif 5142-5142 | |
(termFormat ChineseTraditionalLanguage absoluteHeight "絕對高度") | domainEnglishFormat.kif 5141-5141 | |
(termFormat EnglishLanguage absoluteHeight "absolute height") | domainEnglishFormat.kif 5140-5140 |
consequent |
(<=> (and (altitude ?AIRCRAFT ?OBJ2 ?QUANTITY) (surface ?OBJ2 PlanetEarth) (instance ?AIRCRAFT Aircraft)) (absoluteHeight ?AIRCRAFT ?QUANTITY)) |
MilitaryDevices.kif 1462-1467 | The altitude of an aircraft is a self connected object and the self connected object is a surface of planet earth and the aircraft is an instance of aircraft if and only if an altitude measure is the absolute height of the aircraft |