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 |
萨菲尔辛普森飓风4 是 萨菲尔辛普森飓风风力等级 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 2432-2432 |
萨菲尔辛普森飓风4 的最低和最高是 130.0 英里每小時 和 156.0 英里每小時 |
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 2430-2430 |
萨菲尔辛普森飓风4 是 萨菲尔辛普森飓风5 的直接后续属性 |