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 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	The number 1 argument of speed scale attribute min max is an instance of speed scale attribute
(domain speedScaleAttributeMinMax 2 FunctionQuantity)	Weather.kif 2109-2109	The number 2 argument of speed scale attribute min max is an instance of function quantity
(domain speedScaleAttributeMinMax 3 FunctionQuantity)	Weather.kif 2110-2110	The number 3 argument of speed scale attribute min max is an instance of function quantity
(instance speedScaleAttributeMinMax TernaryPredicate)	Weather.kif 2111-2111	speed scale attribute min max is an instance of ternary predicate

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

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	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 2079-2097	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 337-354	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 2113-2126	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 363-363	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 372-372	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 454-454	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 463-463	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 381-381	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 391-391	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 400-400	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 409-409	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 418-418	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 427-427	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 436-436	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 445-445	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 2134-2134	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 2142-2142	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 2150-2150	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 2158-2158	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 2166-2166	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 2379-2379	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 2391-2391	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 2403-2403	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 2415-2415	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: