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 | 高度 的 1 数量 是 自身连接物体 的 instance |
(domain height 2 LengthMeasure) | Merge.kif 7551-7551 | 高度 的 2 数量 是 长度测量 的 instance |
(instance height BinaryPredicate) | Merge.kif 7549-7549 | 高度 是 二元谓语 的 instance |
(subrelation height linearExtent) | Merge.kif 7548-7548 | 高度 是 linearExtent 的 subrelation |
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 |
consequent |