TreeView Knowledge Base Browser

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	Die Zahl 1 Argument von absoluteHeight ist ein fall von Aircraft %n{nicht}
(domain absoluteHeight 2 AltitudeMeasure)	MilitaryDevices.kif 1457-1457	Die Zahl 2 Argument von absoluteHeight ist ein fall von AltitudeMeasure %n{nicht}
(instance absoluteHeight BinaryPredicate)	MilitaryDevices.kif 1455-1455	absoluteHeight ist ein fall von BinaryPredicate %n{nicht}
(instance absoluteHeight SingleValuedRelation)	MilitaryDevices.kif 1453-1453	absoluteHeight ist ein fall von SingleValuedRelation %n{nicht}
(instance absoluteHeight SpatialRelation)	MilitaryDevices.kif 1454-1454	absoluteHeight ist ein fall von SpatialRelation %n{nicht}

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 5147-5147
(termFormat ChineseTraditionalLanguage absoluteHeight "絕對高度")	domainEnglishFormat.kif 5146-5146
(termFormat EnglishLanguage absoluteHeight "absolute height")	domainEnglishFormat.kif 5145-5145

consequent

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

MilitaryDevices.kif 1462-1467