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 7463-7464 | |
(domain height 1 SelfConnectedObject) | Merge.kif 7460-7460 | domain height, 1 and SelfConnectedObject |
(domain height 2 LengthMeasure) | Merge.kif 7461-7461 | domain height, 2 and LengthMeasure |
(instance height BinaryPredicate) | Merge.kif 7459-7459 | instance height and BinaryPredicate |
(subrelation height linearExtent) | Merge.kif 7458-7458 | 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 27869-27869 | |
(termFormat EnglishLanguage height "height") | domainEnglishFormat.kif 27868-27868 |
antecedent |
![]() |
consequent |
![]() |
![]() |
![]() |