No TPTP formula. May not be expressible in strict first order. |
Weather.kif 2425-2426 |
|
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 2422-2424 |
|
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 2429-2429 |
SSHWS4 is an instance of Saffir Simpson Hurrican wind scale |
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 2432-2432 |
130.0 Miles per hour(s) and 156.0 miles per hour(s) are the min and max speed of SSHWS4 |
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 2430-2430 |
SSHWS4 is an immediate successor attribute of SSHWS5 |