MilesPerHour(miles per hour) |
appearance as argument number 1 |
![]() |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 1678-1679 | |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 1676-1677 | |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 1682-1682 | Miles per hour is an instance of composite unit of measure |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 1681-1681 | Miles per hour is an instance of function quantity |
appearance as argument number 2 |
![]() |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 1680-1680 | Miles per hour has name "mph" |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 10443-10443 | Miles per hour has name "mph" |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 10442-10442 | Miles per hour has name "mph" |
antecedent |
![]() |
consequent |
![]() |
statement |
![]() |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 363-363 | 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 372-372 | 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 454-454 | 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 463-463 | 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 381-381 | 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 391-391 | 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 400-400 | 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 409-409 | 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 418-418 | 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 427-427 | 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 436-436 | 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 445-445 | 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 2133-2133 | 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 2141-2141 | 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 2149-2149 | 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 2157-2157 | 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 2165-2165 | 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 2378-2378 | 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 2390-2390 | 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 2402-2402 | 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 2414-2414 | 130.0 Miles per hour(s) and 156.0 miles per hour(s) are the min and max speed of SSHWS4 |
![]() |
![]() |