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 | Le nombre 1 argument de height est une instance de objet en une partie |
(domain height 2 LengthMeasure) | Merge.kif 7551-7551 | Le nombre 2 argument de height est une instance de mesure de longueur |
(instance height BinaryPredicate) | Merge.kif 7549-7549 | height est une instance de pr�dicat binaire |
(subrelation height linearExtent) | Merge.kif 7548-7548 | height est une sous-relation de linearExtent |
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 |