No TPTP formula. May not be expressible in strict first order. |
Weather.kif 375-375 |
0.0 Miles per hour(s) and 1.0 miles per hour(s) are the min and max speed of Beaufort number 0 |
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 384-384 |
1.0 Miles per hour(s) and 3.0 miles per hour(s) are the min and max speed of Beaufort number 1 |
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 466-466 |
55.0 Miles per hour(s) and 63.0 miles per hour(s) are the min and max speed of Beaufort number 10 |
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 475-475 |
64.0 Miles per hour(s) and 72.0 miles per hour(s) are the min and max speed of Beaufort number 11 |
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 393-393 |
4.0 Miles per hour(s) and 7.0 miles per hour(s) are the min and max speed of Beaufort number 2 |
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 403-403 |
8.0 Miles per hour(s) and 12.0 miles per hour(s) are the min and max speed of Beaufort number 3 |
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 412-412 |
13.0 Miles per hour(s) and 18.0 miles per hour(s) are the min and max speed of Beaufort number 4 |
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 421-421 |
19.0 Miles per hour(s) and 24.0 miles per hour(s) are the min and max speed of Beaufort number 5 |
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 430-430 |
25.0 Miles per hour(s) and 31.0 miles per hour(s) are the min and max speed of Beaufort number 6 |
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 439-439 |
32.0 Miles per hour(s) and 38.0 miles per hour(s) are the min and max speed of Beaufort number 7 |
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 448-448 |
39.0 Miles per hour(s) and 46.0 miles per hour(s) are the min and max speed of Beaufort number 8 |
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 457-457 |
47.0 Miles per hour(s) and 54.0 miles per hour(s) are the min and max speed of Beaufort number 9 |
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 2150-2150 |
65.0 Miles per hour(s) and 85.0 miles per hour(s) are the min and max speed of EF0 |
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 2158-2158 |
86.0 Miles per hour(s) and 110.0 miles per hour(s) are the min and max speed of EF1 |
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 2166-2166 |
111.0 Miles per hour(s) and 135.0 miles per hour(s) are the min and max speed of EF2 |
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 2174-2174 |
136.0 Miles per hour(s) and 165.0 miles per hour(s) are the min and max speed of EF3 |
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 2182-2182 |
166.0 Miles per hour(s) and 200.0 miles per hour(s) are the min and max speed of EF4 |
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 2395-2395 |
74.0 Miles per hour(s) and 95.0 miles per hour(s) are the min and max speed of SSHWS1 |
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 2407-2407 |
96.0 Miles per hour(s) and 110.0 miles per hour(s) are the min and max speed of SSHWS2 |
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 2419-2419 |
111.0 Miles per hour(s) and 129.0 miles per hour(s) are the min and max speed of SSHWS3 |
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 2431-2431 |
130.0 Miles per hour(s) and 156.0 miles per hour(s) are the min and max speed of SSHWS4 |