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 7520-7521 | |
(domain height 1 SelfConnectedObject) | Merge.kif 7517-7517 | domain height, 1 and SelfConnectedObject |
(domain height 2 LengthMeasure) | Merge.kif 7518-7518 | domain height, 2 and LengthMeasure |
(instance height BinaryPredicate) | Merge.kif 7516-7516 | instance height and BinaryPredicate |
(subrelation height linearExtent) | Merge.kif 7515-7515 | subrelation height and 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 | |
(termFormat ChineseLanguage height "高度") | chinese_format.kif 620-620 | |
(termFormat ChineseTraditionalLanguage height "高度") | domainEnglishFormat.kif 27864-27864 | |
(termFormat EnglishLanguage height "height") | domainEnglishFormat.kif 27863-27863 |
antecedent |
![]() |
consequent |
![]() |
![]() |
![]() |