No TPTP formula. May not be expressible in strict first order. |
Weather.kif 2413-2414 |
|
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 2410-2412 |
|
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 2417-2417 |
萨菲尔辛普森飓风3 是 萨菲尔辛普森飓风风力等级 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 2420-2420 |
萨菲尔辛普森飓风3 的最低和最高是 111.0 英里每小時 和 129.0 英里每小時 |
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 2418-2418 |
萨菲尔辛普森飓风3 是 萨菲尔辛普森飓风4 的直接后续属性 |