speedScaleAttributeMinMax |
appearance as argument number 1 |
(documentation speedScaleAttributeMinMax ChineseLanguage " speedScaleAttributeMinMax (时速级数属性最低最高) 是一个 TernaryRelation,它为一个时速级数属性设定一个范畴。在(speedScaleAttributeMinMax ?ATTR ?MIN ?MAX) 里, ?ATTR SpeedScaleAttribute (时速级数属性)的一个例子,?MIN 是最低速度 the minimum speed 而 ?MAX 是最高速度。") | Weather.kif 2117-2119 | |
(documentation speedScaleAttributeMinMax EnglishLanguage " speedScaleAttributeMinMax is a TernaryRelation which specifies the range of speeds for a speed scale attribute. (speedScaleAttributeMinMax ?ATTR ?MIN ?MAX) where ?ATTR is an instance of SpeedScaleAttribute and ?MIN is the minimum speed and ?MAX is the maximum speed. ") | Weather.kif 2112-2115 | |
(domain speedScaleAttributeMinMax 1 SpeedScaleAttribute) | Weather.kif 2121-2121 | The number 1 argument of speed scale attribute min max is an instance of speed scale attribute |
(domain speedScaleAttributeMinMax 2 FunctionQuantity) | Weather.kif 2122-2122 | The number 2 argument of speed scale attribute min max is an instance of function quantity |
(domain speedScaleAttributeMinMax 3 FunctionQuantity) | Weather.kif 2123-2123 | The number 3 argument of speed scale attribute min max is an instance of function quantity |
(instance speedScaleAttributeMinMax TernaryPredicate) | Weather.kif 2124-2124 | speed scale attribute min max is an instance of ternary predicate |
appearance as argument number 2 |
(format ChineseLanguage speedScaleAttributeMinMax "%1 的最低和最高是 %2 和 %3") | Weather.kif 2120-2120 | |
(format EnglishLanguage speedScaleAttributeMinMax "%2 and %3 are the min and max speed of %1") | Weather.kif 2116-2116 | |
(termFormat ChineseLanguage speedScaleAttributeMinMax "时速级数属性最低最高") | domainEnglishFormat.kif 10352-10352 | |
(termFormat EnglishLanguage speedScaleAttributeMinMax "speed scale attribute min max") | domainEnglishFormat.kif 10351-10351 |
antecedent |
appearance as argument number 0 |