No TPTP formula. May not be expressible in strict first order. |
Weather.kif 375-375 |
speedScaleAttributeMinMax BeaufortNumber0, 測量 0.0 and MilesPerHour and 測量 1.0 and MilesPerHour |
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 384-384 |
speedScaleAttributeMinMax BeaufortNumber1, 測量 1.0 and MilesPerHour and 測量 3.0 and MilesPerHour |
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 466-466 |
speedScaleAttributeMinMax BeaufortNumber10, 測量 55.0 and MilesPerHour and 測量 63.0 and MilesPerHour |
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 475-475 |
speedScaleAttributeMinMax BeaufortNumber11, 測量 64.0 and MilesPerHour and 測量 72.0 and MilesPerHour |
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 393-393 |
speedScaleAttributeMinMax BeaufortNumber2, 測量 4.0 and MilesPerHour and 測量 7.0 and MilesPerHour |
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 403-403 |
speedScaleAttributeMinMax BeaufortNumber3, 測量 8.0 and MilesPerHour and 測量 12.0 and MilesPerHour |
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 412-412 |
speedScaleAttributeMinMax BeaufortNumber4, 測量 13.0 and MilesPerHour and 測量 18.0 and MilesPerHour |
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 421-421 |
speedScaleAttributeMinMax BeaufortNumber5, 測量 19.0 and MilesPerHour and 測量 24.0 and MilesPerHour |
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 430-430 |
speedScaleAttributeMinMax BeaufortNumber6, 測量 25.0 and MilesPerHour and 測量 31.0 and MilesPerHour |
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 439-439 |
speedScaleAttributeMinMax BeaufortNumber7, 測量 32.0 and MilesPerHour and 測量 38.0 and MilesPerHour |
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 448-448 |
speedScaleAttributeMinMax BeaufortNumber8, 測量 39.0 and MilesPerHour and 測量 46.0 and MilesPerHour |
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 457-457 |
speedScaleAttributeMinMax BeaufortNumber9, 測量 47.0 and MilesPerHour and 測量 54.0 and MilesPerHour |
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 2151-2151 |
speedScaleAttributeMinMax EF0, 測量 65.0 and MilesPerHour and 測量 85.0 and MilesPerHour |
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 2159-2159 |
speedScaleAttributeMinMax EF1, 測量 86.0 and MilesPerHour and 測量 110.0 and MilesPerHour |
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 2167-2167 |
speedScaleAttributeMinMax EF2, 測量 111.0 and MilesPerHour and 測量 135.0 and MilesPerHour |
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 2175-2175 |
speedScaleAttributeMinMax EF3, 測量 136.0 and MilesPerHour and 測量 165.0 and MilesPerHour |
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 2183-2183 |
speedScaleAttributeMinMax EF4, 測量 166.0 and MilesPerHour and 測量 200.0 and MilesPerHour |
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 2396-2396 |
speedScaleAttributeMinMax SSHWS1, 測量 74.0 and MilesPerHour and 測量 95.0 and MilesPerHour |
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 2408-2408 |
speedScaleAttributeMinMax SSHWS2, 測量 96.0 and MilesPerHour and 測量 110.0 and MilesPerHour |
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 2420-2420 |
speedScaleAttributeMinMax SSHWS3, 測量 111.0 and MilesPerHour and 測量 129.0 and MilesPerHour |
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 2432-2432 |
speedScaleAttributeMinMax SSHWS4, 測量 130.0 and MilesPerHour and 測量 156.0 and MilesPerHour |