| appearance as argument number 1 |
|
| (documentation speedScaleAttributeMinMax ChineseLanguage " speedScaleAttributeMinMax (时速级数属性最低最高) 是一个 TernaryRelation，它为一个时速级数属性设定一个范畴。在(speedScaleAttributeMinMax ?ATTR ?MIN ?MAX) 里， ?ATTR SpeedScaleAttribute (时速级数属性)的一个例子，?MIN 是最低速度 the minimum speed 而 ?MAX 是最高速度。") | Weather.kif 2104-2106 | |
| (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 2099-2102 | |
| (domain speedScaleAttributeMinMax 1 SpeedScaleAttribute) | Weather.kif 2108-2108 | 时速级数属性最低最高 的 1 数量 是 时速级数属性 的 instance |
| (domain speedScaleAttributeMinMax 2 FunctionQuantity) | Weather.kif 2109-2109 | 时速级数属性最低最高 的 2 数量 是 函数量 的 instance |
| (domain speedScaleAttributeMinMax 3 FunctionQuantity) | Weather.kif 2110-2110 | 时速级数属性最低最高 的 3 数量 是 函数量 的 instance |
| (instance speedScaleAttributeMinMax TernaryPredicate) | Weather.kif 2111-2111 | 时速级数属性最低最高 是 三元谓语 的 instance |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage speedScaleAttributeMinMax "%1 的最低和最高是 %2 和 %3") | Weather.kif 2107-2107 | |
| (format EnglishLanguage speedScaleAttributeMinMax "%2 and %3 are the min and max speed of %1") | Weather.kif 2103-2103 | |
| (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 |
|
|
|
Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)
|
|
Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners