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 | 时速级数属性最低最高 的 1 数量 是 时速级数属性 的 instance |
(domain speedScaleAttributeMinMax 2 FunctionQuantity) | Weather.kif 2122-2122 | 时速级数属性最低最高 的 2 数量 是 函数量 的 instance |
(domain speedScaleAttributeMinMax 3 FunctionQuantity) | Weather.kif 2123-2123 | 时速级数属性最低最高 的 3 数量 是 函数量 的 instance |
(instance speedScaleAttributeMinMax TernaryPredicate) | Weather.kif 2124-2124 | 时速级数属性最低最高 是 三元谓语 的 instance |
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 |