MilesPerHour - Sigma Knowledge base Browser

appearance as argument number 1

(documentation MilesPerHour ChineseLanguage "MilesPerHour是一个速度计量单位，表示每小時(HourDuration)经过的英里(Mile)距离。")	Weather.kif 1692-1693
(documentation MilesPerHour EnglishLanguage "MilesPerHour is a unit for measuring speed, expressed in the number of Miles travelled in a one HourDuration.")	Weather.kif 1690-1691
(instance MilesPerHour CompositeUnitOfMeasure)	Weather.kif 1696-1696	MilesPerHour は CompositeUnitOfMeasure の instance では %n
(instance MilesPerHour FunctionQuantity)	Weather.kif 1695-1695	MilesPerHour は関数量の instance では %n

appearance as argument number 2

(names "mph" MilesPerHour)	Weather.kif 1694-1694	MilesPerHour は "mph" の name を持って %n{ない}
(termFormat ChineseLanguage MilesPerHour "英里每小時")	domainEnglishFormat.kif 10430-10430
(termFormat EnglishLanguage MilesPerHour "miles per hour")	domainEnglishFormat.kif 10429-10429

antecedent

(<=> (equal ?SPEED (MeasureFn ?NUM MilesPerHour)) (equal ?SPEED (SpeedFn (MeasureFn ?NUM Mile) (MeasureFn 1 HourDuration))))	Weather.kif 1698-1704	関数量は実数の MilesPerHour(s) と equal では %n 関数量は 1 の HourDuration(s) per 実数の Mile(s) と equal では %n
(=> (and (engineIdleSpeed ?E (RotationFn (MeasureFn ?N1 MilesPerHour) ?M)) (instance ?A Automobile) (instance ?P GasPedal) (instance ?P Pushing) (destination ?P ?GP) (part ?E ?A) (part ?GP ?A) (instance ?C Crankshaft) (part ?C ?E) (holdsDuring (WhenFn ?P) (measure ?C (RotationFn (MeasureFn ?N2 MilesPerHour) ?M)))) (modalAttribute (greaterThan ?N2 ?N1) Likely))	Cars.kif 2591-2609	engineIdleSpeed InternalCombustionEngine and RotationFn 実数の MilesPerHour(s) and 時間分オブジェクトは Automobile の instance では %n 工程は GasPedal の instance では %n 工程は Pushing の instance では %n 工程はオブジェクトに ends %n{ない} InternalCombustionEngine はオブジェクトの part では %n オブジェクトはオブジェクトの part では %n オブジェクトは Crankshaft の instance では %n オブジェクトは InternalCombustionEngine の part では %n オブジェクトの measure は RotationFn エンティティーの MilesPerHour(s) and 時間分では %n は工程の time の existence の during holds %n{ない} ステートメントエンティティーは実数より greater では　%n には Likely の modal force がある
(=> (and (governorSpeed ?V ?Q) (equal (MeasureFn ?FAST MilesPerHour) (SpeedFn ?L1 ?T1)) (equal (MeasureFn ?SLOW MilesPerHour) (SpeedFn ?L2 ?T2)) (greaterThan ?FAST ?SLOW) (equal ?FASTPROB (ProbabilityFn (measure ?V (MeasureFn ?FAST MilesPerHour)))) (equal ?SLOWPROB (ProbabilityFn (measure ?V (MeasureFn ?SLOW MilesPerHour))))) (greaterThan ?SLOWPROB ?FASTPROB))	Cars.kif 2890-2908	governorSpeed SpeedGovernor and 関数量実数の MilesPerHour(s) は時間分 per 長さ測定と equal では %n 実数の MilesPerHour(s) は時間分 per 長さ測定と equal では %n 実数は実数より greater では　%n 実数PROB は SpeedGovernor の measure は実数の MilesPerHour(s) では %n の probability と equal では %n 実数PROB は SpeedGovernor の measure は実数の MilesPerHour(s) では %n の probability と equal では %n 実数PROB は実数PROB より greater では　%n
(=> (and (instance ?EG EngineGovernor) (instance ?E Engine) (connectedEngineeringComponents ?EG ?E) (governorSpeed ?E (MeasureFn ?S MilesPerHour))) (hasPurpose ?EG (not (exists (?R ?P ?M) (and (instance ?P Device) (part ?P ?E) (instance ?R Rotating) (holdsDuring (WhenFn ?R) (and (measure ?P (MeasureFn ?M MilesPerHour)) (greaterThan ?M ?S))))))))	Cars.kif 2936-2954	エンジニアリング部品は EngineGovernor の instance では %n エンジニアリング部品は Engine の instance では %n エンジニアリング部品はエンジニアリング部品に connected して %n governorSpeed エンジニアリング部品 and 実数の MilesPerHour(s) エンジニアリング部品はエンティティーエンティティー and エンティティーエンティティーはデバイスの instance では %n エンティティーはエンジニアリング部品の part では %n エンティティーは Rotating の instance では %n エンティティーの measure はエンティティーの MilesPerHour(s) では %n エンティティーは実数より greater では　%n はエンティティーの time の existence の during holds %n{ない} の目的 %n{ない}
(=> (and (instance ?EG EngineGovernor) (instance ?V Vehicle) (connectedEngineeringComponents ?EG ?V) (governorSpeed ?E (MeasureFn ?S MilesPerHour))) (hasPurpose ?EG (not (exists (?T ?M) (and (instance ?T Translocation) (holdsDuring (WhenFn ?T) (and (measure ?V (MeasureFn ?M MilesPerHour)) (greaterThan ?M ?S))))))))	Cars.kif 2963-2979	エンジニアリング部品は EngineGovernor の instance では %n エンジニアリング部品は Vehicle の instance では %n エンジニアリング部品はエンジニアリング部品に connected して %n governorSpeed SpeedGovernor and 実数の MilesPerHour(s) エンジニアリング部品はエンティティーエンティティーエンティティーは Translocation の instance では %n エンジニアリング部品の measure はエンティティーの MilesPerHour(s) では %n エンティティーは実数より greater では　%n はエンティティーの time の existence の during holds %n{ない} の目的 %n{ない}
(=> (and (instance ?G SpeedGovernor) (governorSpeed ?V (MeasureFn ?S MilesPerHour)) (connectedEngineeringComponents ?G ?V)) (hasPurpose ?G (not (exists (?SP2) (and (measure ?V (MeasureFn ?SP2 MilesPerHour)) (greaterThan ?SP2 ?S))))))	Cars.kif 2915-2927	エンジニアリング部品は SpeedGovernor の instance では %n governorSpeed エンジニアリング部品 and 実数の MilesPerHour(s) エンジニアリング部品はエンジニアリング部品に connected して %n エンジニアリング部品は実数P2 エンジニアリング部品の measure は実数P2 の MilesPerHour(s) では %n 実数P2 は実数より greater では　%n の目的 %n{ない}
(=> (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 2092-2110	工程は Tornado の instance では %n SpeedScaleAttribute は EFScaleAttribute の instance では %n eventLocated 工程 and オブジェクト認識エージェントは工程には attribute SpeedScaleAttribute %n{ない} を believes %n{ない} speedScaleAttributeMinMax SpeedScaleAttribute, 実数の MilesPerHour(s) and 実数の MilesPerHour(s) 実数実数は実数 greater では　%n 実数は実数より less または同等では %n 認識エージェントは実数の MilesPerHour(s) は ThreeSecondGustSpeedFn オブジェクト and 工程の time の existence と equal では %n を believes %n{ない}
(=> (and (instance ?W Wind) (located ?W ?L) (equal ?T (WhenFn ?W)) (holdsDuring ?T (surfaceWindSpeed ?L (MeasureFn ?N MilesPerHour)))) (greaterThan ?N 20.0))	Merge.kif 11286-11294	物理は Wind の instance では %n 物理はオブジェクトに located して %n 時間間隔は物理の time の existence と equal では %n surfaceWindSpeed オブジェクト and 実数の MilesPerHour(s) は時間間隔の during holds %n{ない} 実数は 20.0 より greater では　%n

consequent

(=> (and (instance ?B Braking) (patient ?B ?O)) (and (holdsDuring (ImmediatePastFn (WhenFn ?B)) (equal (MeasureFn ?A1 MilesPerHour) (AccelerationFn ?FQ ?T ?O ?D))) (holdsDuring (ImmediateFutureFn (WhenFn ?B)) (equal (MeasureFn ?A2 MilesPerHour) (AccelerationFn ?FQ ?T ?O ?D))) (greaterThan ?A1 ?A2)))	Cars.kif 1252-1267	工程は Braking の instance では %n エンティティーは工程の patient では %n 実数の MilesPerHour(s) は AccelerationFn エンティティー, エンティティー, エンティティー and エンティティーと equal では %n は工程の time の existence の immediately before の during holds %n{ない} 実数の MilesPerHour(s) は AccelerationFn エンティティー, エンティティー, エンティティー and エンティティーと equal では %n は工程の time の existence のすぐ after の during holds %n{ない} 実数は実数より greater では　%n
(=> (and (instance ?EG EngineGovernor) (instance ?E Engine) (connectedEngineeringComponents ?EG ?E) (governorSpeed ?E (MeasureFn ?S MilesPerHour))) (hasPurpose ?EG (not (exists (?R ?P ?M) (and (instance ?P Device) (part ?P ?E) (instance ?R Rotating) (holdsDuring (WhenFn ?R) (and (measure ?P (MeasureFn ?M MilesPerHour)) (greaterThan ?M ?S))))))))	Cars.kif 2936-2954	エンジニアリング部品は EngineGovernor の instance では %n エンジニアリング部品は Engine の instance では %n エンジニアリング部品はエンジニアリング部品に connected して %n governorSpeed エンジニアリング部品 and 実数の MilesPerHour(s) エンジニアリング部品はエンティティーエンティティー and エンティティーエンティティーはデバイスの instance では %n エンティティーはエンジニアリング部品の part では %n エンティティーは Rotating の instance では %n エンティティーの measure はエンティティーの MilesPerHour(s) では %n エンティティーは実数より greater では　%n はエンティティーの time の existence の during holds %n{ない} の目的 %n{ない}
(=> (and (instance ?EG EngineGovernor) (instance ?V Vehicle) (connectedEngineeringComponents ?EG ?V) (governorSpeed ?E (MeasureFn ?S MilesPerHour))) (hasPurpose ?EG (not (exists (?T ?M) (and (instance ?T Translocation) (holdsDuring (WhenFn ?T) (and (measure ?V (MeasureFn ?M MilesPerHour)) (greaterThan ?M ?S))))))))	Cars.kif 2963-2979	エンジニアリング部品は EngineGovernor の instance では %n エンジニアリング部品は Vehicle の instance では %n エンジニアリング部品はエンジニアリング部品に connected して %n governorSpeed SpeedGovernor and 実数の MilesPerHour(s) エンジニアリング部品はエンティティーエンティティーエンティティーは Translocation の instance では %n エンジニアリング部品の measure はエンティティーの MilesPerHour(s) では %n エンティティーは実数より greater では　%n はエンティティーの time の existence の during holds %n{ない} の目的 %n{ない}
(=> (and (instance ?G SpeedGovernor) (governorSpeed ?V (MeasureFn ?S MilesPerHour)) (connectedEngineeringComponents ?G ?V)) (hasPurpose ?G (not (exists (?SP2) (and (measure ?V (MeasureFn ?SP2 MilesPerHour)) (greaterThan ?SP2 ?S))))))	Cars.kif 2915-2927	エンジニアリング部品は SpeedGovernor の instance では %n governorSpeed エンジニアリング部品 and 実数の MilesPerHour(s) エンジニアリング部品はエンジニアリング部品に connected して %n エンジニアリング部品は実数P2 エンジニアリング部品の measure は実数P2 の MilesPerHour(s) では %n 実数P2 は実数より greater では　%n の目的 %n{ない}
(=> (and (instance ?H Hurricane) (instance ?SS SSHWS5) (eventLocated ?H ?AREA) (believes ?A (property ?H ?SS))) (exists (?WIND) (and (greaterThan ?WIND 157.0) (believes ?A (equal (MeasureFn ?WIND MilesPerHour) (Mean1MinuteWindSpeedFn ?AREA (WhenFn ?H)))))))	Weather.kif 2439-2453	工程は Hurricane の instance では %n エンティティーは SSHWS5 の instance では %n eventLocated 工程 and オブジェクト認識エージェントは工程には attribute エンティティー %n{ない} を believes %n{ない} 実数実数は 157.0 より greater では　%n 認識エージェントは実数の MilesPerHour(s) は Mean1MinuteWindSpeedFn オブジェクト and 工程の time の existence と equal では %n を believes %n{ない}
(=> (and (instance ?T Tornado) (instance ?EF EF5) (eventLocated ?T ?AREA) (believes ?A (property ?T ?EF))) (exists (?GUST) (and (greaterThan ?GUST 200.0) (believes ?A (equal (MeasureFn ?GUST MilesPerHour) (ThreeSecondGustSpeedFn ?AREA (WhenFn ?T)))))))	Weather.kif 2187-2201	工程は Tornado の instance では %n エンティティーは EF5 の instance では %n eventLocated 工程 and オブジェクト認識エージェントは工程には attribute エンティティー %n{ない} を believes %n{ない} 実数実数は 200.0 より greater では　%n 認識エージェントは実数の MilesPerHour(s) は ThreeSecondGustSpeedFn オブジェクト and 工程の time の existence と equal では %n を believes %n{ない}
(=> (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 2092-2110	工程は Tornado の instance では %n SpeedScaleAttribute は EFScaleAttribute の instance では %n eventLocated 工程 and オブジェクト認識エージェントは工程には attribute SpeedScaleAttribute %n{ない} を believes %n{ない} speedScaleAttributeMinMax SpeedScaleAttribute, 実数の MilesPerHour(s) and 実数の MilesPerHour(s) 実数実数は実数 greater では　%n 実数は実数より less または同等では %n 認識エージェントは実数の MilesPerHour(s) は ThreeSecondGustSpeedFn オブジェクト and 工程の time の existence と equal では %n を believes %n{ない}
(=> (and (instance ?W Wind) (instance ?BN BeaufortNumber12) (eventLocated ?W ?AREA) (believes ?A (property ?W ?BN))) (exists (?SPEED) (and (greaterThan ?SPEED 73.0) (believes ?A (surfaceWindSpeed ?AREA (MeasureFn ?SPEED MilesPerHour))))))	Weather.kif 484-496	工程は Wind の instance では %n エンティティーは BeaufortNumber12 の instance では %n eventLocated 工程 and オブジェクト認識エージェントは工程には attribute エンティティー %n{ない} を believes %n{ない} 実数実数は 73.0 より greater では　%n 認識エージェントは surfaceWindSpeed オブジェクト and 実数の MilesPerHour(s) を believes %n{ない}
(=> (instance ?H Hurricane) (exists (?TC ?PLACE ?WIND) (and (instance ?TC TropicalCyclone) (instance ?PLACE GeographicArea) (eventLocated ?TC ?PLACE) (equal (MeasureFn ?WIND MilesPerHour) (Mean1MinuteWindSpeedFn ?PLACE (WhenFn ?TC))) (greaterThanOrEqualTo ?WIND 74.0))))	Weather.kif 736-747	エンティティーは Hurricane の instance では %n 工程地理的地域 and 実数工程は TropicalCyclone の instance では %n 地理的地域は地理的地域の instance では %n eventLocated 工程 and 地理的地域実数の MilesPerHour(s) は Mean1MinuteWindSpeedFn 地理的地域 and 工程の time の existence と equal では %n 実数は 74.0 greater では　%n
(=> (instance ?T Typhoon) (exists (?TC ?PLACE ?WIND) (and (instance ?TC TropicalCyclone) (instance ?PLACE GeographicArea) (eventLocated ?TC ?PLACE) (equal (MeasureFn ?WIND MilesPerHour) (Mean10MinutesWindSpeedFn ?PLACE (WhenFn ?TC))) (greaterThanOrEqualTo ?WIND 64.0))))	Weather.kif 770-781	エンティティーは Typhoon の instance では %n エンティティーC 地理的地域 and 実数エンティティーC は TropicalCyclone の instance では %n 地理的地域は地理的地域の instance では %n eventLocated エンティティーC and 地理的地域実数の MilesPerHour(s) は Mean10MinutesWindSpeedFn 地理的地域 and エンティティーC の time の existence と equal では %n 実数は 64.0 greater では　%n
(=> (instance ?TC TropicalCyclone) (exists (?PLACE ?WIND) (and (instance ?PLACE GeographicArea) (eventLocated ?TC ?PLACE) (equal (MeasureFn ?WIND MilesPerHour) (Mean1MinuteWindSpeedFn ?PLACE (WhenFn ?TC))) (greaterThanOrEqualTo ?WIND 44.0))))	Weather.kif 677-687	工程は TropicalCyclone の instance では %n 地理的地域実数地理的地域は地理的地域の instance では %n eventLocated 工程 and 地理的地域実数の MilesPerHour(s) は Mean1MinuteWindSpeedFn 地理的地域 and 工程の time の existence と equal では %n 実数は 44.0 greater では　%n
(=> (instance ?TD TropicalDepression) (exists (?PLACE ?WIND) (and (instance ?PLACE GeographicArea) (eventLocated ?TD ?PLACE) (equal (MeasureFn ?WIND MilesPerHour) (Mean1MinuteWindSpeedFn ?PLACE (WhenFn ?TD))) (lessThanOrEqualTo ?WIND 38.0))))	Weather.kif 656-666	工程は TropicalDepression の instance では %n 地理的地域実数地理的地域は地理的地域の instance では %n eventLocated 工程 and 地理的地域実数の MilesPerHour(s) は Mean1MinuteWindSpeedFn 地理的地域 and 工程の time の existence と equal では %n 実数は 38.0 より less または同等では %n
(=> (instance ?TS TropicalStorm) (exists (?PLACE ?WIND) (and (instance ?PLACE GeographicArea) (eventLocated ?TS ?PLACE) (equal (MeasureFn ?WIND MilesPerHour) (Mean1MinuteWindSpeedFn ?PLACE (WhenFn ?TS))) (greaterThanOrEqualTo ?WIND 39.0) (lessThanOrEqualTo ?WIND 74.0))))	Weather.kif 712-723	工程は TropicalStorm の instance では %n 地理的地域実数地理的地域は地理的地域の instance では %n eventLocated 工程 and 地理的地域実数の MilesPerHour(s) は Mean1MinuteWindSpeedFn 地理的地域 and 工程の time の existence と equal では %n 実数は 39.0 greater では　%n 実数は 74.0 より less または同等では %n

statement

(speedScaleAttributeMinMax BeaufortNumber0 (MeasureFn 0.0 MilesPerHour) (MeasureFn 1.0 MilesPerHour))	Weather.kif 375-375	speedScaleAttributeMinMax BeaufortNumber0, 0.0 の MilesPerHour(s) and 1.0 の MilesPerHour(s)
(speedScaleAttributeMinMax BeaufortNumber1 (MeasureFn 1.0 MilesPerHour) (MeasureFn 3.0 MilesPerHour))	Weather.kif 384-384	speedScaleAttributeMinMax BeaufortNumber1, 1.0 の MilesPerHour(s) and 3.0 の MilesPerHour(s)
(speedScaleAttributeMinMax BeaufortNumber10 (MeasureFn 55.0 MilesPerHour) (MeasureFn 63.0 MilesPerHour))	Weather.kif 466-466	speedScaleAttributeMinMax BeaufortNumber10, 55.0 の MilesPerHour(s) and 63.0 の MilesPerHour(s)
(speedScaleAttributeMinMax BeaufortNumber11 (MeasureFn 64.0 MilesPerHour) (MeasureFn 72.0 MilesPerHour))	Weather.kif 475-475	speedScaleAttributeMinMax BeaufortNumber11, 64.0 の MilesPerHour(s) and 72.0 の MilesPerHour(s)
(speedScaleAttributeMinMax BeaufortNumber2 (MeasureFn 4.0 MilesPerHour) (MeasureFn 7.0 MilesPerHour))	Weather.kif 393-393	speedScaleAttributeMinMax BeaufortNumber2, 4.0 の MilesPerHour(s) and 7.0 の MilesPerHour(s)
(speedScaleAttributeMinMax BeaufortNumber3 (MeasureFn 8.0 MilesPerHour) (MeasureFn 12.0 MilesPerHour))	Weather.kif 403-403	speedScaleAttributeMinMax BeaufortNumber3, 8.0 の MilesPerHour(s) and 12.0 の MilesPerHour(s)
(speedScaleAttributeMinMax BeaufortNumber4 (MeasureFn 13.0 MilesPerHour) (MeasureFn 18.0 MilesPerHour))	Weather.kif 412-412	speedScaleAttributeMinMax BeaufortNumber4, 13.0 の MilesPerHour(s) and 18.0 の MilesPerHour(s)
(speedScaleAttributeMinMax BeaufortNumber5 (MeasureFn 19.0 MilesPerHour) (MeasureFn 24.0 MilesPerHour))	Weather.kif 421-421	speedScaleAttributeMinMax BeaufortNumber5, 19.0 の MilesPerHour(s) and 24.0 の MilesPerHour(s)
(speedScaleAttributeMinMax BeaufortNumber6 (MeasureFn 25.0 MilesPerHour) (MeasureFn 31.0 MilesPerHour))	Weather.kif 430-430	speedScaleAttributeMinMax BeaufortNumber6, 25.0 の MilesPerHour(s) and 31.0 の MilesPerHour(s)
(speedScaleAttributeMinMax BeaufortNumber7 (MeasureFn 32.0 MilesPerHour) (MeasureFn 38.0 MilesPerHour))	Weather.kif 439-439	speedScaleAttributeMinMax BeaufortNumber7, 32.0 の MilesPerHour(s) and 38.0 の MilesPerHour(s)
(speedScaleAttributeMinMax BeaufortNumber8 (MeasureFn 39.0 MilesPerHour) (MeasureFn 46.0 MilesPerHour))	Weather.kif 448-448	speedScaleAttributeMinMax BeaufortNumber8, 39.0 の MilesPerHour(s) and 46.0 の MilesPerHour(s)
(speedScaleAttributeMinMax BeaufortNumber9 (MeasureFn 47.0 MilesPerHour) (MeasureFn 54.0 MilesPerHour))	Weather.kif 457-457	speedScaleAttributeMinMax BeaufortNumber9, 47.0 の MilesPerHour(s) and 54.0 の MilesPerHour(s)
(speedScaleAttributeMinMax EF0 (MeasureFn 65.0 MilesPerHour) (MeasureFn 85.0 MilesPerHour))	Weather.kif 2147-2147	speedScaleAttributeMinMax EF0, 65.0 の MilesPerHour(s) and 85.0 の MilesPerHour(s)
(speedScaleAttributeMinMax EF1 (MeasureFn 86.0 MilesPerHour) (MeasureFn 110.0 MilesPerHour))	Weather.kif 2155-2155	speedScaleAttributeMinMax EF1, 86.0 の MilesPerHour(s) and 110.0 の MilesPerHour(s)
(speedScaleAttributeMinMax EF2 (MeasureFn 111.0 MilesPerHour) (MeasureFn 135.0 MilesPerHour))	Weather.kif 2163-2163	speedScaleAttributeMinMax EF2, 111.0 の MilesPerHour(s) and 135.0 の MilesPerHour(s)
(speedScaleAttributeMinMax EF3 (MeasureFn 136.0 MilesPerHour) (MeasureFn 165.0 MilesPerHour))	Weather.kif 2171-2171	speedScaleAttributeMinMax EF3, 136.0 の MilesPerHour(s) and 165.0 の MilesPerHour(s)
(speedScaleAttributeMinMax EF4 (MeasureFn 166.0 MilesPerHour) (MeasureFn 200.0 MilesPerHour))	Weather.kif 2179-2179	speedScaleAttributeMinMax EF4, 166.0 の MilesPerHour(s) and 200.0 の MilesPerHour(s)
(speedScaleAttributeMinMax SSHWS1 (MeasureFn 74.0 MilesPerHour) (MeasureFn 95.0 MilesPerHour))	Weather.kif 2392-2392	speedScaleAttributeMinMax SSHWS1, 74.0 の MilesPerHour(s) and 95.0 の MilesPerHour(s)
(speedScaleAttributeMinMax SSHWS2 (MeasureFn 96.0 MilesPerHour) (MeasureFn 110.0 MilesPerHour))	Weather.kif 2404-2404	speedScaleAttributeMinMax SSHWS2, 96.0 の MilesPerHour(s) and 110.0 の MilesPerHour(s)
(speedScaleAttributeMinMax SSHWS3 (MeasureFn 111.0 MilesPerHour) (MeasureFn 129.0 MilesPerHour))	Weather.kif 2416-2416	speedScaleAttributeMinMax SSHWS3, 111.0 の MilesPerHour(s) and 129.0 の MilesPerHour(s)
(speedScaleAttributeMinMax SSHWS4 (MeasureFn 130.0 MilesPerHour) (MeasureFn 156.0 MilesPerHour))	Weather.kif 2428-2428	speedScaleAttributeMinMax SSHWS4, 130.0 の MilesPerHour(s) and 156.0 の MilesPerHour(s)

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: