Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - MilesPerHour
MilesPerHour(miles per hour)

appearance as argument number 1
-------------------------


s__documentation(s__MilesPerHour,s__ChineseLanguage,'"MilesPerHour是一个速度计量单位, 表示每小時(HourDuration)经过的英里(Mile)距离。"')

Weather.kif 1695-1696
s__documentation(s__MilesPerHour,s__EnglishLanguage,'"MilesPerHour is a unit for measuring speed, expressed in the number of Miles travelled in a one HourDuration."')

Weather.kif 1693-1694
s__instance(s__MilesPerHour,s__CompositeUnitOfMeasure)

s__instance(s__CompositeUnitOfMeasure,s__SetOrClass)

Weather.kif 1699-1699 Miles per hour is an instance of CompositeUnitOfMeasure
s__instance(s__FunctionQuantity,s__SetOrClass)

s__instance(s__MilesPerHour,s__FunctionQuantity)

Weather.kif 1698-1698 Miles per hour is an instance of function quantity

appearance as argument number 2
-------------------------


s__names('"mph"',s__MilesPerHour)

Weather.kif 1697-1697 Miles per hour has name "mph"
s__termFormat(s__ChineseLanguage,s__MilesPerHour,'"英里每小時"')

domainEnglishFormat.kif 10439-10439
s__termFormat(s__EnglishLanguage,s__MilesPerHour,'"miles per hour"')

domainEnglishFormat.kif 10438-10438

antecedent
-------------------------


( ! [V__SPEED,V__NUM] :
   (((s__instance(V__SPEED,s__FunctionQuantity) &
         s__instance(V__NUM,s__RealNumber))
       =>
       ((((V__SPEED = s__MeasureFn(V__NUM,s__MilesPerHour))
             =>
             (V__SPEED = s__SpeedFn(s__MeasureFn(V__NUM,s__Mile),s__MeasureFn(n__1,s__HourDuration))))
         &
         ((V__SPEED = s__SpeedFn(s__MeasureFn(V__NUM,s__Mile),s__MeasureFn(n__1,s__HourDuration)))
         =>
         (V__SPEED = s__MeasureFn(V__NUM,s__MilesPerHour))))))
)
)

Weather.kif 1701-1707 A function quantity is equal to a real number miles per hour(s) if and only if the function quantity is equal to the real number mile(s) per 1 hour duration(s)
No TPTP formula. May not be expressible in strict first order. Cars.kif 2585-2603
No TPTP formula. May not be expressible in strict first order. Cars.kif 2884-2902
No TPTP formula. May not be expressible in strict first order. Cars.kif 2930-2948
No TPTP formula. May not be expressible in strict first order. Cars.kif 2957-2973
No TPTP formula. May not be expressible in strict first order. Cars.kif 2909-2921
No TPTP formula. May not be expressible in strict first order. Weather.kif 2089-2107

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. Cars.kif 1252-1267
No TPTP formula. May not be expressible in strict first order. Cars.kif 2930-2948
No TPTP formula. May not be expressible in strict first order. Cars.kif 2957-2973
No TPTP formula. May not be expressible in strict first order. Cars.kif 2909-2921
No TPTP formula. May not be expressible in strict first order. Weather.kif 2436-2450
No TPTP formula. May not be expressible in strict first order. Weather.kif 2184-2198
No TPTP formula. May not be expressible in strict first order. Weather.kif 2089-2107
No TPTP formula. May not be expressible in strict first order. Weather.kif 484-496
( ! [V__H] :
   ((s__instance(V__H,s__Hurricane) =>
       (( ? [V__TC, V__PLACE, V__WIND] :
           ((s__instance(V__WIND,s__RealNumber) &
               (s__instance(V__TC,s__TropicalCyclone) &
                 s__instance(V__PLACE,s__GeographicArea) &
                 s__eventLocated(V__TC,V__PLACE)
               &
               (s__MeasureFn(V__WIND,s__MilesPerHour) = s__Mean1MinuteWindSpeedFn(V__PLACE,s__WhenFn(V__TC)))
           &
           s__greaterThanOrEqualTo(V__WIND,n__74)))))))
)
)

Weather.kif 740-751
( ! [V__T] :
   ((s__instance(V__T,s__Typhoon) =>
       (( ? [V__TC, V__PLACE, V__WIND] :
           ((s__instance(V__WIND,s__RealNumber) &
               (s__instance(V__TC,s__TropicalCyclone) &
                 s__instance(V__PLACE,s__GeographicArea) &
                 s__eventLocated(V__TC,V__PLACE)
               &
               (s__MeasureFn(V__WIND,s__MilesPerHour) = s__Mean10MinutesWindSpeedFn(V__PLACE,s__WhenFn(V__TC)))
           &
           s__greaterThanOrEqualTo(V__WIND,n__64)))))))
)
)

Weather.kif 774-785
( ! [V__TC] :
   ((s__instance(V__TC,s__TropicalCyclone) =>
       (( ? [V__PLACE, V__WIND] :
           ((s__instance(V__WIND,s__RealNumber) &
               (s__instance(V__PLACE,s__GeographicArea) &
                 s__eventLocated(V__TC,V__PLACE)
               &
               (s__MeasureFn(V__WIND,s__MilesPerHour) = s__Mean1MinuteWindSpeedFn(V__PLACE,s__WhenFn(V__TC)))
           &
           s__greaterThanOrEqualTo(V__WIND,n__44)))))))
)
)

Weather.kif 681-691
( ! [V__TD] :
   ((s__instance(V__TD,s__TropicalDepression) =>
       (( ? [V__PLACE, V__WIND] :
           ((s__instance(V__WIND,s__RealNumber) &
               (s__instance(V__PLACE,s__GeographicArea) &
                 s__eventLocated(V__TD,V__PLACE)
               &
               (s__MeasureFn(V__WIND,s__MilesPerHour) = s__Mean1MinuteWindSpeedFn(V__PLACE,s__WhenFn(V__TD)))
           &
           s__lessThanOrEqualTo(V__WIND,n__38)))))))
)
)

Weather.kif 660-670
( ! [V__TS] :
   ((s__instance(V__TS,s__TropicalStorm) =>
       (( ? [V__PLACE, V__WIND] :
           ((s__instance(V__WIND,s__RealNumber) &
               (s__instance(V__PLACE,s__GeographicArea) &
                 s__eventLocated(V__TS,V__PLACE)
               &
               (s__MeasureFn(V__WIND,s__MilesPerHour) = s__Mean1MinuteWindSpeedFn(V__PLACE,s__WhenFn(V__TS)))
           &
           s__greaterThanOrEqualTo(V__WIND,n__39)
         &
         s__lessThanOrEqualTo(V__WIND,n__74)))))))
)
)

Weather.kif 716-727

statement
-------------------------


s__speedScaleAttributeMinMax(s__BeaufortNumber0,s__MeasureFn(n__0,s__MilesPerHour),s__MeasureFn(n__1,s__MilesPerHour))

Weather.kif 375-375 0 Miles per hour(s) and 1 miles per hour(s) are the min and max speed of Beaufort number 0
s__speedScaleAttributeMinMax(s__BeaufortNumber1,s__MeasureFn(n__1,s__MilesPerHour),s__MeasureFn(n__3,s__MilesPerHour))

Weather.kif 384-384 1 Miles per hour(s) and 3 miles per hour(s) are the min and max speed of Beaufort number 1
s__speedScaleAttributeMinMax(s__BeaufortNumber10,s__MeasureFn(n__55,s__MilesPerHour),s__MeasureFn(n__63,s__MilesPerHour))

Weather.kif 466-466 55 Miles per hour(s) and 63 miles per hour(s) are the min and max speed of Beaufort number 10
s__speedScaleAttributeMinMax(s__BeaufortNumber11,s__MeasureFn(n__64,s__MilesPerHour),s__MeasureFn(n__72,s__MilesPerHour))

Weather.kif 475-475 64 Miles per hour(s) and 72 miles per hour(s) are the min and max speed of Beaufort number 11
s__speedScaleAttributeMinMax(s__BeaufortNumber2,s__MeasureFn(n__4,s__MilesPerHour),s__MeasureFn(n__7,s__MilesPerHour))

Weather.kif 393-393 4 Miles per hour(s) and 7 miles per hour(s) are the min and max speed of Beaufort number 2
s__speedScaleAttributeMinMax(s__BeaufortNumber3,s__MeasureFn(n__8,s__MilesPerHour),s__MeasureFn(n__12,s__MilesPerHour))

Weather.kif 403-403 8 Miles per hour(s) and 12 miles per hour(s) are the min and max speed of Beaufort number 3
s__speedScaleAttributeMinMax(s__BeaufortNumber4,s__MeasureFn(n__13,s__MilesPerHour),s__MeasureFn(n__18,s__MilesPerHour))

Weather.kif 412-412 13 Miles per hour(s) and 18 miles per hour(s) are the min and max speed of Beaufort number 4
s__speedScaleAttributeMinMax(s__BeaufortNumber5,s__MeasureFn(n__19,s__MilesPerHour),s__MeasureFn(n__24,s__MilesPerHour))

Weather.kif 421-421 19 Miles per hour(s) and 24 miles per hour(s) are the min and max speed of Beaufort number 5
s__speedScaleAttributeMinMax(s__BeaufortNumber6,s__MeasureFn(n__25,s__MilesPerHour),s__MeasureFn(n__31,s__MilesPerHour))

Weather.kif 430-430 25 Miles per hour(s) and 31 miles per hour(s) are the min and max speed of Beaufort number 6
s__speedScaleAttributeMinMax(s__BeaufortNumber7,s__MeasureFn(n__32,s__MilesPerHour),s__MeasureFn(n__38,s__MilesPerHour))

Weather.kif 439-439 32 Miles per hour(s) and 38 miles per hour(s) are the min and max speed of Beaufort number 7
s__speedScaleAttributeMinMax(s__BeaufortNumber8,s__MeasureFn(n__39,s__MilesPerHour),s__MeasureFn(n__46,s__MilesPerHour))

Weather.kif 448-448 39 Miles per hour(s) and 46 miles per hour(s) are the min and max speed of Beaufort number 8
s__speedScaleAttributeMinMax(s__BeaufortNumber9,s__MeasureFn(n__47,s__MilesPerHour),s__MeasureFn(n__54,s__MilesPerHour))

Weather.kif 457-457 47 Miles per hour(s) and 54 miles per hour(s) are the min and max speed of Beaufort number 9
s__speedScaleAttributeMinMax(s__EF0,s__MeasureFn(n__65,s__MilesPerHour),s__MeasureFn(n__85,s__MilesPerHour))

Weather.kif 2144-2144 65 Miles per hour(s) and 85 miles per hour(s) are the min and max speed of EF0
s__speedScaleAttributeMinMax(s__EF1,s__MeasureFn(n__86,s__MilesPerHour),s__MeasureFn(n__110,s__MilesPerHour))

Weather.kif 2152-2152 86 Miles per hour(s) and 110 miles per hour(s) are the min and max speed of EF1
s__speedScaleAttributeMinMax(s__EF2,s__MeasureFn(n__111,s__MilesPerHour),s__MeasureFn(n__135,s__MilesPerHour))

Weather.kif 2160-2160 111 Miles per hour(s) and 135 miles per hour(s) are the min and max speed of EF2
s__speedScaleAttributeMinMax(s__EF3,s__MeasureFn(n__136,s__MilesPerHour),s__MeasureFn(n__165,s__MilesPerHour))

Weather.kif 2168-2168 136 Miles per hour(s) and 165 miles per hour(s) are the min and max speed of EF3
s__speedScaleAttributeMinMax(s__EF4,s__MeasureFn(n__166,s__MilesPerHour),s__MeasureFn(n__200,s__MilesPerHour))

Weather.kif 2176-2176 166 Miles per hour(s) and 200 miles per hour(s) are the min and max speed of EF4
s__speedScaleAttributeMinMax(s__SSHWS1,s__MeasureFn(n__74,s__MilesPerHour),s__MeasureFn(n__95,s__MilesPerHour))

Weather.kif 2389-2389 74 Miles per hour(s) and 95 miles per hour(s) are the min and max speed of SSHWS1
s__speedScaleAttributeMinMax(s__SSHWS2,s__MeasureFn(n__96,s__MilesPerHour),s__MeasureFn(n__110,s__MilesPerHour))

Weather.kif 2401-2401 96 Miles per hour(s) and 110 miles per hour(s) are the min and max speed of SSHWS2
s__speedScaleAttributeMinMax(s__SSHWS3,s__MeasureFn(n__111,s__MilesPerHour),s__MeasureFn(n__129,s__MilesPerHour))

Weather.kif 2413-2413 111 Miles per hour(s) and 129 miles per hour(s) are the min and max speed of SSHWS3
s__speedScaleAttributeMinMax(s__SSHWS4,s__MeasureFn(n__130,s__MilesPerHour),s__MeasureFn(n__156,s__MilesPerHour))

Weather.kif 2425-2425 130 Miles per hour(s) and 156 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