speedScaleAttributeMinMax - Sigma Knowledge base Browser

appearance as argument number 1

(documentation speedScaleAttributeMinMax ChineseLanguage " speedScaleAttributeMinMax (时速级数属性最低最高) 是一个 TernaryRelation，它为一个时速级数属性设定一个范畴。在(speedScaleAttributeMinMax ?ATTR ?MIN ?MAX) 里， ?ATTR SpeedScaleAttribute (时速级数属性)的一个例子，?MIN 是最低速度 the minimum speed 而 ?MAX 是最高速度。")	Weather.kif 2121-2123
(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 2116-2119
(domain speedScaleAttributeMinMax 1 SpeedScaleAttribute)	Weather.kif 2125-2125	The number 1 argument of speed scale attribute min max is an instance of speed scale attribute
(domain speedScaleAttributeMinMax 2 FunctionQuantity)	Weather.kif 2126-2126	The number 2 argument of speed scale attribute min max is an instance of function quantity
(domain speedScaleAttributeMinMax 3 FunctionQuantity)	Weather.kif 2127-2127	The number 3 argument of speed scale attribute min max is an instance of function quantity
(instance speedScaleAttributeMinMax TernaryPredicate)	Weather.kif 2128-2128	speed scale attribute min max is an instance of ternary predicate

appearance as argument number 2

(format ChineseLanguage speedScaleAttributeMinMax "%1 的最低和最高是 %2 和 %3")	Weather.kif 2124-2124
(format EnglishLanguage speedScaleAttributeMinMax "%2 and %3 are the min and max speed of %1")	Weather.kif 2120-2120
(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 2365-2384	If a process is an instance of hurricane and a speed scale attribute is an instance of Saffir Simpson Hurrican wind scale and the process is located at an object and a cognitive agent believes the process the attribute the speed scale attribute and a real number an unit of measure(s) and another real number the unit of measure(s) are the min and max speed of the speed scale attribute and the unit of measure is an instance of unit of measure, then there exists a third real number such that the third real number is greater than or equal to the real number and the third real number is less than or equal to the other real number and the cognitive agent believes the third real number the unit of measure(s) is equal to Mean1MinuteWindSpeedFn for the time of existence of the process in region the object
(=> (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 2096-2114	If a process is an instance of tornado and a speed scale attribute is an instance of enhanced fuijita scale attribute and the process is located at an object and a cognitive agent believes the process the attribute the speed scale attribute and a real number miles per hour(s) and another real number miles per hour(s) are the min and max speed of the speed scale attribute, then there exists a third real number such that the third real number is greater than or equal to the real number and the third real number is less than or equal to the other real number and the cognitive agent believes the third real number miles per hour(s) is equal to ThreeSecondSpeedGustFn ending at the time of existence of the process in the object
(=> (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 349-366	If a process is an instance of wind and a speed scale attribute is an instance of Beaufort number attribute and the process is located at an object and a cognitive agent believes the process the attribute the speed scale attribute and a real number an unit of measure(s) and another real number the unit of measure(s) are the min and max speed of the speed scale attribute and the unit of measure is an instance of unit of measure, then there exists a third real number such that the third real number is greater than or equal to the real number and the third real number is less than or equal to the other real number and the cognitive agent believes the third real number the unit of measure(s) is a surface wind speed of the object
(=> (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 2130-2143	If a real number an unit of measure(s) and another real number the unit of measure(s) are the min and max speed of a speed scale attribute and the unit of measure is an instance of unit of measure, then there exist a physical and a third real number such that the physical is an instance of motion and the physical the attribute the speed scale attribute and the measure of the physical is the third real number the unit of measure(s) and the third real number is greater than or equal to the real number and the third real number is less than or equal to the other real number

appearance as argument number 0

(speedScaleAttributeMinMax BeaufortNumber0 (MeasureFn 0.0 MilesPerHour) (MeasureFn 1.0 MilesPerHour))	Weather.kif 375-375	0.0 Miles per hour(s) and 1.0 miles per hour(s) are the min and max speed of Beaufort number 0
(speedScaleAttributeMinMax BeaufortNumber1 (MeasureFn 1.0 MilesPerHour) (MeasureFn 3.0 MilesPerHour))	Weather.kif 384-384	1.0 Miles per hour(s) and 3.0 miles per hour(s) are the min and max speed of Beaufort number 1
(speedScaleAttributeMinMax BeaufortNumber10 (MeasureFn 55.0 MilesPerHour) (MeasureFn 63.0 MilesPerHour))	Weather.kif 466-466	55.0 Miles per hour(s) and 63.0 miles per hour(s) are the min and max speed of Beaufort number 10
(speedScaleAttributeMinMax BeaufortNumber11 (MeasureFn 64.0 MilesPerHour) (MeasureFn 72.0 MilesPerHour))	Weather.kif 475-475	64.0 Miles per hour(s) and 72.0 miles per hour(s) are the min and max speed of Beaufort number 11
(speedScaleAttributeMinMax BeaufortNumber2 (MeasureFn 4.0 MilesPerHour) (MeasureFn 7.0 MilesPerHour))	Weather.kif 393-393	4.0 Miles per hour(s) and 7.0 miles per hour(s) are the min and max speed of Beaufort number 2
(speedScaleAttributeMinMax BeaufortNumber3 (MeasureFn 8.0 MilesPerHour) (MeasureFn 12.0 MilesPerHour))	Weather.kif 403-403	8.0 Miles per hour(s) and 12.0 miles per hour(s) are the min and max speed of Beaufort number 3
(speedScaleAttributeMinMax BeaufortNumber4 (MeasureFn 13.0 MilesPerHour) (MeasureFn 18.0 MilesPerHour))	Weather.kif 412-412	13.0 Miles per hour(s) and 18.0 miles per hour(s) are the min and max speed of Beaufort number 4
(speedScaleAttributeMinMax BeaufortNumber5 (MeasureFn 19.0 MilesPerHour) (MeasureFn 24.0 MilesPerHour))	Weather.kif 421-421	19.0 Miles per hour(s) and 24.0 miles per hour(s) are the min and max speed of Beaufort number 5
(speedScaleAttributeMinMax BeaufortNumber6 (MeasureFn 25.0 MilesPerHour) (MeasureFn 31.0 MilesPerHour))	Weather.kif 430-430	25.0 Miles per hour(s) and 31.0 miles per hour(s) are the min and max speed of Beaufort number 6
(speedScaleAttributeMinMax BeaufortNumber7 (MeasureFn 32.0 MilesPerHour) (MeasureFn 38.0 MilesPerHour))	Weather.kif 439-439	32.0 Miles per hour(s) and 38.0 miles per hour(s) are the min and max speed of Beaufort number 7
(speedScaleAttributeMinMax BeaufortNumber8 (MeasureFn 39.0 MilesPerHour) (MeasureFn 46.0 MilesPerHour))	Weather.kif 448-448	39.0 Miles per hour(s) and 46.0 miles per hour(s) are the min and max speed of Beaufort number 8
(speedScaleAttributeMinMax BeaufortNumber9 (MeasureFn 47.0 MilesPerHour) (MeasureFn 54.0 MilesPerHour))	Weather.kif 457-457	47.0 Miles per hour(s) and 54.0 miles per hour(s) are the min and max speed of Beaufort number 9
(speedScaleAttributeMinMax EF0 (MeasureFn 65.0 MilesPerHour) (MeasureFn 85.0 MilesPerHour))	Weather.kif 2151-2151	65.0 Miles per hour(s) and 85.0 miles per hour(s) are the min and max speed of EF0
(speedScaleAttributeMinMax EF1 (MeasureFn 86.0 MilesPerHour) (MeasureFn 110.0 MilesPerHour))	Weather.kif 2159-2159	86.0 Miles per hour(s) and 110.0 miles per hour(s) are the min and max speed of EF1
(speedScaleAttributeMinMax EF2 (MeasureFn 111.0 MilesPerHour) (MeasureFn 135.0 MilesPerHour))	Weather.kif 2167-2167	111.0 Miles per hour(s) and 135.0 miles per hour(s) are the min and max speed of EF2
(speedScaleAttributeMinMax EF3 (MeasureFn 136.0 MilesPerHour) (MeasureFn 165.0 MilesPerHour))	Weather.kif 2175-2175	136.0 Miles per hour(s) and 165.0 miles per hour(s) are the min and max speed of EF3
(speedScaleAttributeMinMax EF4 (MeasureFn 166.0 MilesPerHour) (MeasureFn 200.0 MilesPerHour))	Weather.kif 2183-2183	166.0 Miles per hour(s) and 200.0 miles per hour(s) are the min and max speed of EF4
(speedScaleAttributeMinMax SSHWS1 (MeasureFn 74.0 MilesPerHour) (MeasureFn 95.0 MilesPerHour))	Weather.kif 2396-2396	74.0 Miles per hour(s) and 95.0 miles per hour(s) are the min and max speed of SSHWS1
(speedScaleAttributeMinMax SSHWS2 (MeasureFn 96.0 MilesPerHour) (MeasureFn 110.0 MilesPerHour))	Weather.kif 2408-2408	96.0 Miles per hour(s) and 110.0 miles per hour(s) are the min and max speed of SSHWS2
(speedScaleAttributeMinMax SSHWS3 (MeasureFn 111.0 MilesPerHour) (MeasureFn 129.0 MilesPerHour))	Weather.kif 2420-2420	111.0 Miles per hour(s) and 129.0 miles per hour(s) are the min and max speed of SSHWS3
(speedScaleAttributeMinMax SSHWS4 (MeasureFn 130.0 MilesPerHour) (MeasureFn 156.0 MilesPerHour))	Weather.kif 2432-2432	130.0 Miles per hour(s) and 156.0 miles per hour(s) are the min and max speed of SSHWS4

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

KB Term:			Term intersection

English Word: