| 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 5146-5146 | |
| (termFormat ChineseTraditionalLanguage absoluteHeight "絕對高度") | domainEnglishFormat.kif 5145-5145 | |
| (termFormat EnglishLanguage absoluteHeight "absolute height") | domainEnglishFormat.kif 5144-5144 |
| 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 |
|
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 is open source software produced by Articulate Software and its partners