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	O argumento numero 1 de speedScaleAttributeMinMax e' uma instancia de SpeedScaleAttribute
(domain speedScaleAttributeMinMax 2 FunctionQuantity)	Weather.kif 2109-2109	O argumento numero 2 de speedScaleAttributeMinMax e' uma instancia de Funcao de Quantidade
(domain speedScaleAttributeMinMax 3 FunctionQuantity)	Weather.kif 2110-2110	O argumento numero 3 de speedScaleAttributeMinMax e' uma instancia de Funcao de Quantidade
(instance speedScaleAttributeMinMax TernaryPredicate)	Weather.kif 2111-2111	speedScaleAttributeMinMax e' uma instancia de Predicado Ternario

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

(=> (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	Processo e' uma instancia de Hurricane SpeedScaleAttribute e' uma instancia de SSHWSAttribute eventLocated Processo and Objeto Agente Cognitivo acredita que Processo tem um atributo de SpeedScaleAttribute speedScaleAttributeMinMax SpeedScaleAttribute, Numero Real Unidade de Medida(s) and Numero Real Unidade de Medida(s) Unidade de Medida e' uma instancia de Unidade de Medida Numero Real Numero Real e' maior ou igual a Numero Real Numero Real e' menor ou igual a Numero Real Agente Cognitivo acredita que Numero Real Unidade de Medida(s) e' igual a Mean1MinuteWindSpeedFn Objeto and tempo de existencia de Processo
(=> (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	Processo e' uma instancia de Tornado SpeedScaleAttribute e' uma instancia de EFScaleAttribute eventLocated Processo and Objeto Agente Cognitivo acredita que Processo tem um atributo de SpeedScaleAttribute speedScaleAttributeMinMax SpeedScaleAttribute, Numero Real MilesPerHour(s) and Numero Real MilesPerHour(s) Numero Real Numero Real e' maior ou igual a Numero Real Numero Real e' menor ou igual a Numero Real Agente Cognitivo acredita que Numero Real MilesPerHour(s) e' igual a ThreeSecondGustSpeedFn Objeto and tempo de existencia de Processo
(=> (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	Processo e' uma instancia de Wind SpeedScaleAttribute e' uma instancia de BeaufortNumberAttribute eventLocated Processo and Objeto Agente Cognitivo acredita que Processo tem um atributo de SpeedScaleAttribute speedScaleAttributeMinMax SpeedScaleAttribute, Numero Real Unidade de Medida(s) and Numero Real Unidade de Medida(s) Unidade de Medida e' uma instancia de Unidade de Medida Numero Real Numero Real e' maior ou igual a Numero Real Numero Real e' menor ou igual a Numero Real Agente Cognitivo acredita que surfaceWindSpeed Objeto and Numero Real Unidade de Medida(s)
(=> (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	speedScaleAttributeMinMax SpeedScaleAttribute, Numero Real Unidade de Medida(s) and Numero Real Unidade de Medida(s) Unidade de Medida e' uma instancia de Unidade de Medida Fisico Numero Real Fisico e' uma instancia de Movimento Fisico tem um atributo de SpeedScaleAttribute a medida de Fisico e' Numero Real Unidade de Medida(s) Numero Real e' maior ou igual a Numero Real Numero Real e' menor ou igual a Numero Real

appearance as argument number 0

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

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

KB Term:			Term intersection

English Word: