height |
appearance as argument number 1 |
(documentation height ChineseLanguage "一个 Object 的高度是它的顶部和底部之间的距离。") | chinese_format.kif 2642-2642 | |
(documentation height EnglishLanguage "The height of an Object is the distance between its top and its bottom.") | Merge.kif 7553-7554 | |
(documentation height JapaneseLanguage "Object の高さは、その top と bottom の間の距離 である。") | japanese_format.kif 1358-1359 | |
(domain height 1 SelfConnectedObject) | Merge.kif 7550-7550 | height の数値 1 引数は 自己接続オブジェクト の instance では %n |
(domain height 2 LengthMeasure) | Merge.kif 7551-7551 | height の数値 2 引数は 長さ測定 の instance では %n |
(instance height BinaryPredicate) | Merge.kif 7549-7549 | height は 2進述語 の instance では %n |
(subrelation height linearExtent) | Merge.kif 7548-7548 | height は linearExtent の subrelation では %n |
appearance as argument number 2 |
(format ChineseLanguage height "%1 的 height %n 是 %2") | chinese_format.kif 619-619 | |
(format EnglishLanguage height "the height of %1 is %n %2") | english_format.kif 622-622 | |
(format FrenchLanguage height "la hauteur de %1 est %n %2") | french_format.kif 374-374 | |
(format ItalianLanguage height "l' altezza di %1 è %n %2") | relations-it.txt 127-127 | |
(format JapaneseLanguage height "%1 の height は %2 では %n") | japanese_format.kif 2108-2108 | |
(format PortugueseLanguage height "a altura de %1 e' %n %2") | portuguese_format.kif 326-326 | |
(format de height "die hoehe von %1 ist %2 %n{nicht}") | relations-de.txt 812-812 | |
(format hi height "%1 kii uunchaaii %2 %n hai") | relations-hindi.txt 167-167 | |
(format ro height "height%t{înãlþimea} ?lui %1 %n{nu} este %2") | relations-ro.kif 396-396 | |
(format sv height "höjden på %1 är %n{inte} %2") | relations-sv.txt 415-415 | |
(format tg height "ang taas sa %1 %n ay %2") | relations-tg.txt 260-260 | |
(termFormat ChineseLanguage height "高度") | chinese_format.kif 620-620 | |
(termFormat ChineseTraditionalLanguage height "高度") | domainEnglishFormat.kif 27878-27878 | |
(termFormat EnglishLanguage height "height") | domainEnglishFormat.kif 27877-27877 | |
(termFormat tg height "taas") | relations-tg.txt 261-261 |
antecedent |
(=> (and (height ?OBJECT ?HEIGHT) (top ?TOP ?OBJECT) (bottom ?BOTTOM ?OBJECT)) (distance ?TOP ?BOTTOM ?HEIGHT)) |
Merge.kif 9776-9781 |
|
(=> (and (instance ?ADULT HumanAdult) (height ?ADULT (MeasureFn ?HEIGHT Inch))) (not (greaterThan ?HEIGHT 120.0))) |
Mid-level-ontology.kif 211-217 |
|
(=> (and (instance ?D Dune) (height ?D (MeasureFn ?N Centimeter))) (greaterThan ?D 7.0)) |
Geography.kif 4401-4405 |
|
(=> (and (instance ?TREE BotanicalTree) (instance ?BUSH Shrub) (instance ?U UnitOfLength) (height ?TREE (MeasureFn ?TALL ?U)) (height ?BUSH (MeasureFn ?SHORT ?U))) (greaterThan ?TALL ?SHORT)) |
Geography.kif 6259-6268 |
|
(=> (and (instance ?piedmont Piedmont) (attribute ?mountains MountainousTerrain) (orientation ?piedmont ?mountains Adjacent) (instance ?U UnitOfLength) (height ?piedmont (MeasureFn ?height1 ?U)) (height ?mountains (MeasureFn ?height2 ?U))) (greaterThan ?height2 ?height1)) |
Geography.kif 4206-4216 |
|
(=> (and (maximumPayloadCapacity ?V (MeasureFn ?WEIGHT ?UNITWEIGHT)) (maximumPayloadHeightWidth ?V (MeasureFn ?HEIGHT ?UNITHEIGHT) (MeasureFn ?WIDTH ?UNITWIDTH)) (instance ?O SelfConnectedObject) (weight ?O (MeasureFn ?WEO ?WEOU)) (width ?O (MeasureFn ?WO ?WOU)) (height ?O (MeasureFn ?HO ?HOU)) (equal ?WEOU ?UNITWEIGHT) (equal ?WOU ?UNITWIDTH) (equal ?HOU ?UNITHEIGHT) (lessThanOrEqualTo ?WEO ?WEIGHT) (lessThanOrEqualTo ?WO ?WIDTH) (lessThanOrEqualTo ?HO ?HEIGHT)) (capability (KappaFn ?TRANSPORT (and (instance ?TRANSPORT Transportation) (patient ?TRANSPORT ?O))) instrument ?V)) |
MilitaryDevices.kif 144-169 |
|
consequent |