TreeView Knowledge Base Browser - speedScaleAttributeMinMax

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
(domain speedScaleAttributeMinMax 2 FunctionQuantity)	Weather.kif 2109-2109
(domain speedScaleAttributeMinMax 3 FunctionQuantity)	Weather.kif 2110-2110
(instance speedScaleAttributeMinMax TernaryPredicate)	Weather.kif 2111-2111

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 10355-10355
(termFormat EnglishLanguage speedScaleAttributeMinMax "speed scale attribute min max")	domainEnglishFormat.kif 10354-10354

antecedent

(=> (and (instance ?H Hurricane) (instance ?SS SSHWSAttribute) (eventLocated ?H ?AREA) (believes ?A (property ?H ?SS)) (speedScaleAttributeMinMax ?SS (MeasureFn ?MIN ?U) (MeasureFn ?MAX ?U)) (instance ?U UnitOfMeasure)) (exists (?WIND) (and (greaterThanOrEqualTo ?WIND ?MIN) (lessThanOrEqualTo ?WIND ?MAX) (believes ?A (equal (MeasureFn ?WIND ?U) (Mean1MinuteWindSpeedFn ?AREA (WhenFn ?H)))))))	Weather.kif 2348-2367
(=> (and (instance ?T Tornado) (instance ?EF EFScaleAttribute) (eventLocated ?T ?AREA) (believes ?A (property ?T ?EF)) (speedScaleAttributeMinMax ?EF (MeasureFn ?MIN MilesPerHour) (MeasureFn ?MAX MilesPerHour))) (exists (?GUST) (and (greaterThanOrEqualTo ?GUST ?MIN) (lessThanOrEqualTo ?GUST ?MAX) (believes ?A (equal (MeasureFn ?GUST MilesPerHour) (ThreeSecondGustSpeedFn ?AREA (WhenFn ?T)))))))	Weather.kif 2079-2097
(=> (and (instance ?W Wind) (instance ?BN BeaufortNumberAttribute) (eventLocated ?W ?AREA) (believes ?A (property ?W ?BN)) (speedScaleAttributeMinMax ?BN (MeasureFn ?MIN ?U) (MeasureFn ?MAX ?U)) (instance ?U UnitOfMeasure)) (exists (?SPEED) (and (greaterThanOrEqualTo ?SPEED ?MIN) (lessThanOrEqualTo ?SPEED ?MAX) (believes ?A (surfaceWindSpeed ?AREA (MeasureFn ?SPEED ?U))))))	Weather.kif 337-354
(=> (and (speedScaleAttributeMinMax ?ATTR (MeasureFn ?MIN ?U) (MeasureFn ?MAX ?U)) (instance ?U UnitOfMeasure)) (exists (?X ?SPEED) (and (instance ?X Motion) (property ?X ?ATTR) (measure ?X (MeasureFn ?SPEED ?U)) (greaterThanOrEqualTo ?SPEED ?MIN) (lessThanOrEqualTo ?SPEED ?MAX))))	Weather.kif 2113-2126

appearance as argument number 0

(speedScaleAttributeMinMax BeaufortNumber0 (MeasureFn 0.0 MilesPerHour) (MeasureFn 1.0 MilesPerHour))	Weather.kif 363-363
(speedScaleAttributeMinMax BeaufortNumber1 (MeasureFn 1.0 MilesPerHour) (MeasureFn 3.0 MilesPerHour))	Weather.kif 372-372
(speedScaleAttributeMinMax BeaufortNumber10 (MeasureFn 55.0 MilesPerHour) (MeasureFn 63.0 MilesPerHour))	Weather.kif 454-454
(speedScaleAttributeMinMax BeaufortNumber11 (MeasureFn 64.0 MilesPerHour) (MeasureFn 72.0 MilesPerHour))	Weather.kif 463-463
(speedScaleAttributeMinMax BeaufortNumber2 (MeasureFn 4.0 MilesPerHour) (MeasureFn 7.0 MilesPerHour))	Weather.kif 381-381
(speedScaleAttributeMinMax BeaufortNumber3 (MeasureFn 8.0 MilesPerHour) (MeasureFn 12.0 MilesPerHour))	Weather.kif 391-391
(speedScaleAttributeMinMax BeaufortNumber4 (MeasureFn 13.0 MilesPerHour) (MeasureFn 18.0 MilesPerHour))	Weather.kif 400-400
(speedScaleAttributeMinMax BeaufortNumber5 (MeasureFn 19.0 MilesPerHour) (MeasureFn 24.0 MilesPerHour))	Weather.kif 409-409
(speedScaleAttributeMinMax BeaufortNumber6 (MeasureFn 25.0 MilesPerHour) (MeasureFn 31.0 MilesPerHour))	Weather.kif 418-418
(speedScaleAttributeMinMax BeaufortNumber7 (MeasureFn 32.0 MilesPerHour) (MeasureFn 38.0 MilesPerHour))	Weather.kif 427-427
(speedScaleAttributeMinMax BeaufortNumber8 (MeasureFn 39.0 MilesPerHour) (MeasureFn 46.0 MilesPerHour))	Weather.kif 436-436
(speedScaleAttributeMinMax BeaufortNumber9 (MeasureFn 47.0 MilesPerHour) (MeasureFn 54.0 MilesPerHour))	Weather.kif 445-445
(speedScaleAttributeMinMax EF0 (MeasureFn 65.0 MilesPerHour) (MeasureFn 85.0 MilesPerHour))	Weather.kif 2134-2134
(speedScaleAttributeMinMax EF1 (MeasureFn 86.0 MilesPerHour) (MeasureFn 110.0 MilesPerHour))	Weather.kif 2142-2142
(speedScaleAttributeMinMax EF2 (MeasureFn 111.0 MilesPerHour) (MeasureFn 135.0 MilesPerHour))	Weather.kif 2150-2150
(speedScaleAttributeMinMax EF3 (MeasureFn 136.0 MilesPerHour) (MeasureFn 165.0 MilesPerHour))	Weather.kif 2158-2158
(speedScaleAttributeMinMax EF4 (MeasureFn 166.0 MilesPerHour) (MeasureFn 200.0 MilesPerHour))	Weather.kif 2166-2166
(speedScaleAttributeMinMax SSHWS1 (MeasureFn 74.0 MilesPerHour) (MeasureFn 95.0 MilesPerHour))	Weather.kif 2379-2379
(speedScaleAttributeMinMax SSHWS2 (MeasureFn 96.0 MilesPerHour) (MeasureFn 110.0 MilesPerHour))	Weather.kif 2391-2391
(speedScaleAttributeMinMax SSHWS3 (MeasureFn 111.0 MilesPerHour) (MeasureFn 129.0 MilesPerHour))	Weather.kif 2403-2403
(speedScaleAttributeMinMax SSHWS4 (MeasureFn 130.0 MilesPerHour) (MeasureFn 156.0 MilesPerHour))	Weather.kif 2415-2415

Show simplified definition (without tree view)
Show simplified definition (with tree view)

KB Term:			Term intersection

English Word: