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