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 时速级数属性最低最高 的 1 数量 是 时速级数属性instance
(domain speedScaleAttributeMinMax 2 FunctionQuantity) Weather.kif 2126-2126 时速级数属性最低最高 的 2 数量 是 函数量instance
(domain speedScaleAttributeMinMax 3 FunctionQuantity) Weather.kif 2127-2127 时速级数属性最低最高 的 3 数量 是 函数量instance
(instance speedScaleAttributeMinMax TernaryPredicate) Weather.kif 2128-2128 时速级数属性最低最高三元谓语instance

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 浦氏0风级 的最低和最高是 0.0 英里每小時 和 1.0 英里每小時
(speedScaleAttributeMinMax BeaufortNumber1
    (MeasureFn 1.0 MilesPerHour)
    (MeasureFn 3.0 MilesPerHour))
Weather.kif 384-384 浦氏1风级 的最低和最高是 1.0 英里每小時 和 3.0 英里每小時
(speedScaleAttributeMinMax BeaufortNumber10
    (MeasureFn 55.0 MilesPerHour)
    (MeasureFn 63.0 MilesPerHour))
Weather.kif 466-466 浦氏10风级 的最低和最高是 55.0 英里每小時 和 63.0 英里每小時
(speedScaleAttributeMinMax BeaufortNumber11
    (MeasureFn 64.0 MilesPerHour)
    (MeasureFn 72.0 MilesPerHour))
Weather.kif 475-475 浦氏11风级 的最低和最高是 64.0 英里每小時 和 72.0 英里每小時
(speedScaleAttributeMinMax BeaufortNumber2
    (MeasureFn 4.0 MilesPerHour)
    (MeasureFn 7.0 MilesPerHour))
Weather.kif 393-393 浦氏2风级 的最低和最高是 4.0 英里每小時 和 7.0 英里每小時
(speedScaleAttributeMinMax BeaufortNumber3
    (MeasureFn 8.0 MilesPerHour)
    (MeasureFn 12.0 MilesPerHour))
Weather.kif 403-403 浦氏3风级 的最低和最高是 8.0 英里每小時 和 12.0 英里每小時
(speedScaleAttributeMinMax BeaufortNumber4
    (MeasureFn 13.0 MilesPerHour)
    (MeasureFn 18.0 MilesPerHour))
Weather.kif 412-412 浦氏4风级 的最低和最高是 13.0 英里每小時 和 18.0 英里每小時
(speedScaleAttributeMinMax BeaufortNumber5
    (MeasureFn 19.0 MilesPerHour)
    (MeasureFn 24.0 MilesPerHour))
Weather.kif 421-421 浦氏5风级 的最低和最高是 19.0 英里每小時 和 24.0 英里每小時
(speedScaleAttributeMinMax BeaufortNumber6
    (MeasureFn 25.0 MilesPerHour)
    (MeasureFn 31.0 MilesPerHour))
Weather.kif 430-430 浦氏6风级 的最低和最高是 25.0 英里每小時 和 31.0 英里每小時
(speedScaleAttributeMinMax BeaufortNumber7
    (MeasureFn 32.0 MilesPerHour)
    (MeasureFn 38.0 MilesPerHour))
Weather.kif 439-439 浦氏7风级 的最低和最高是 32.0 英里每小時 和 38.0 英里每小時
(speedScaleAttributeMinMax BeaufortNumber8
    (MeasureFn 39.0 MilesPerHour)
    (MeasureFn 46.0 MilesPerHour))
Weather.kif 448-448 浦氏8风级 的最低和最高是 39.0 英里每小時 和 46.0 英里每小時
(speedScaleAttributeMinMax BeaufortNumber9
    (MeasureFn 47.0 MilesPerHour)
    (MeasureFn 54.0 MilesPerHour))
Weather.kif 457-457 浦氏9风级 的最低和最高是 47.0 英里每小時 和 54.0 英里每小時
(speedScaleAttributeMinMax EF0
    (MeasureFn 65.0 MilesPerHour)
    (MeasureFn 85.0 MilesPerHour))
Weather.kif 2151-2151 改良藤田0 的最低和最高是 65.0 英里每小時 和 85.0 英里每小時
(speedScaleAttributeMinMax EF1
    (MeasureFn 86.0 MilesPerHour)
    (MeasureFn 110.0 MilesPerHour))
Weather.kif 2159-2159 改良藤田1 的最低和最高是 86.0 英里每小時 和 110.0 英里每小時
(speedScaleAttributeMinMax EF2
    (MeasureFn 111.0 MilesPerHour)
    (MeasureFn 135.0 MilesPerHour))
Weather.kif 2167-2167 改良藤田2 的最低和最高是 111.0 英里每小時 和 135.0 英里每小時
(speedScaleAttributeMinMax EF3
    (MeasureFn 136.0 MilesPerHour)
    (MeasureFn 165.0 MilesPerHour))
Weather.kif 2175-2175 改良藤田3 的最低和最高是 136.0 英里每小時 和 165.0 英里每小時
(speedScaleAttributeMinMax EF4
    (MeasureFn 166.0 MilesPerHour)
    (MeasureFn 200.0 MilesPerHour))
Weather.kif 2183-2183 改良藤田4 的最低和最高是 166.0 英里每小時 和 200.0 英里每小時
(speedScaleAttributeMinMax SSHWS1
    (MeasureFn 74.0 MilesPerHour)
    (MeasureFn 95.0 MilesPerHour))
Weather.kif 2396-2396 萨菲尔辛普森飓风1 的最低和最高是 74.0 英里每小時 和 95.0 英里每小時
(speedScaleAttributeMinMax SSHWS2
    (MeasureFn 96.0 MilesPerHour)
    (MeasureFn 110.0 MilesPerHour))
Weather.kif 2408-2408 萨菲尔辛普森飓风2 的最低和最高是 96.0 英里每小時 和 110.0 英里每小時
(speedScaleAttributeMinMax SSHWS3
    (MeasureFn 111.0 MilesPerHour)
    (MeasureFn 129.0 MilesPerHour))
Weather.kif 2420-2420 萨菲尔辛普森飓风3 的最低和最高是 111.0 英里每小時 和 129.0 英里每小時
(speedScaleAttributeMinMax SSHWS4
    (MeasureFn 130.0 MilesPerHour)
    (MeasureFn 156.0 MilesPerHour))
Weather.kif 2432-2432 萨菲尔辛普森飓风4 的最低和最高是 130.0 英里每小時 和 156.0 英里每小時


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