| 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 | absoluteHeight の数値 1 引数は Aircraft の instance では %n |
| (domain absoluteHeight 2 AltitudeMeasure) | MilitaryDevices.kif 1457-1457 | absoluteHeight の数値 2 引数は AltitudeMeasure の instance では %n |
| (instance absoluteHeight BinaryPredicate) | MilitaryDevices.kif 1455-1455 | absoluteHeight は 2進述語 の instance では %n |
| (instance absoluteHeight SingleValuedRelation) | MilitaryDevices.kif 1453-1453 | absoluteHeight は 一価関係 の instance では %n |
| (instance absoluteHeight SpatialRelation) | MilitaryDevices.kif 1454-1454 | absoluteHeight は 空間的関係 の instance では %n |
| 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 | Aircraft の altitude は 自己接続オブジェクト では %n 自己接続オブジェクト は PlanetEarth の surface では %n Aircraft は Aircraft の instance では %n absoluteHeight Aircraft and AltitudeMeasure |
|
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