| 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 | 绝对高度 的 1 数量 是 飞机 的 instance |
| (domain absoluteHeight 2 AltitudeMeasure) | MilitaryDevices.kif 1457-1457 | 绝对高度 的 2 数量 是 高度测量 的 instance |
| (instance absoluteHeight BinaryPredicate) | MilitaryDevices.kif 1455-1455 | 绝对高度 是 二元谓语 的 instance |
| (instance absoluteHeight SingleValuedRelation) | MilitaryDevices.kif 1453-1453 | 绝对高度 是 单值关系 的 instance |
| (instance absoluteHeight SpatialRelation) | MilitaryDevices.kif 1454-1454 | 绝对高度 是 空间关系 的 instance |
| 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 | 飞机 的 altitude 是 自身连接物体 和 那个 自身连接物体 是 行星地球 的 surface 和 那个 飞机 是 飞机 的 instance 若且唯若 高度测量 是 absolute 那个 飞机 的高度 |
|
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