No TPTP formula. May not be expressible in strict first order. |
Weather.kif 375-375 |
0 Miles per hour(s) and 1 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 Miles per hour(s) and 3 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 Miles per hour(s) and 63 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 Miles per hour(s) and 72 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 Miles per hour(s) and 7 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 Miles per hour(s) and 12 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 Miles per hour(s) and 18 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 Miles per hour(s) and 24 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 Miles per hour(s) and 31 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 Miles per hour(s) and 38 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 Miles per hour(s) and 46 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 Miles per hour(s) and 54 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 2144-2144 |
65 Miles per hour(s) and 85 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 2152-2152 |
86 Miles per hour(s) and 110 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 2160-2160 |
111 Miles per hour(s) and 135 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 2168-2168 |
136 Miles per hour(s) and 165 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 2176-2176 |
166 Miles per hour(s) and 200 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 2389-2389 |
74 Miles per hour(s) and 95 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 2401-2401 |
96 Miles per hour(s) and 110 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 2413-2413 |
111 Miles per hour(s) and 129 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 2425-2425 |
130 Miles per hour(s) and 156 miles per hour(s) are the min and max speed of SSHWS4 |