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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - speedScaleAttributeMinMax
speedScaleAttributeMinMax

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 Le nombre 1 argument de speedScaleAttributeMinMax est une instance de SpeedScaleAttribute
(domain speedScaleAttributeMinMax 2 FunctionQuantity) Weather.kif 2126-2126 Le nombre 2 argument de speedScaleAttributeMinMax est une instance de function de quantit�
(domain speedScaleAttributeMinMax 3 FunctionQuantity) Weather.kif 2127-2127 Le nombre 3 argument de speedScaleAttributeMinMax est une instance de function de quantit�
(instance speedScaleAttributeMinMax TernaryPredicate) Weather.kif 2128-2128 speedScaleAttributeMinMax est une instance de pr�dicat ternaire

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
(=>
    (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
(=>
    (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
(=>
    (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

appearance as argument number 0
-------------------------


(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 2151-2151 speedScaleAttributeMinMax EF0, 65.0 MilesPerHour(s) and 85.0 MilesPerHour(s)
(speedScaleAttributeMinMax EF1
    (MeasureFn 86.0 MilesPerHour)
    (MeasureFn 110.0 MilesPerHour))		 Weather.kif 2159-2159 speedScaleAttributeMinMax EF1, 86.0 MilesPerHour(s) and 110.0 MilesPerHour(s)
(speedScaleAttributeMinMax EF2
    (MeasureFn 111.0 MilesPerHour)
    (MeasureFn 135.0 MilesPerHour))		 Weather.kif 2167-2167 speedScaleAttributeMinMax EF2, 111.0 MilesPerHour(s) and 135.0 MilesPerHour(s)
(speedScaleAttributeMinMax EF3
    (MeasureFn 136.0 MilesPerHour)
    (MeasureFn 165.0 MilesPerHour))		 Weather.kif 2175-2175 speedScaleAttributeMinMax EF3, 136.0 MilesPerHour(s) and 165.0 MilesPerHour(s)
(speedScaleAttributeMinMax EF4
    (MeasureFn 166.0 MilesPerHour)
    (MeasureFn 200.0 MilesPerHour))		 Weather.kif 2183-2183 speedScaleAttributeMinMax EF4, 166.0 MilesPerHour(s) and 200.0 MilesPerHour(s)
(speedScaleAttributeMinMax SSHWS1
    (MeasureFn 74.0 MilesPerHour)
    (MeasureFn 95.0 MilesPerHour))		 Weather.kif 2396-2396 speedScaleAttributeMinMax SSHWS1, 74.0 MilesPerHour(s) and 95.0 MilesPerHour(s)
(speedScaleAttributeMinMax SSHWS2
    (MeasureFn 96.0 MilesPerHour)
    (MeasureFn 110.0 MilesPerHour))		 Weather.kif 2408-2408 speedScaleAttributeMinMax SSHWS2, 96.0 MilesPerHour(s) and 110.0 MilesPerHour(s)
(speedScaleAttributeMinMax SSHWS3
    (MeasureFn 111.0 MilesPerHour)
    (MeasureFn 129.0 MilesPerHour))		 Weather.kif 2420-2420 speedScaleAttributeMinMax SSHWS3, 111.0 MilesPerHour(s) and 129.0 MilesPerHour(s)
(speedScaleAttributeMinMax SSHWS4
    (MeasureFn 130.0 MilesPerHour)
    (MeasureFn 156.0 MilesPerHour))		 Weather.kif 2432-2432 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