No TPTP formula. May not be expressible in strict first order. |
Weather.kif 2393-2393 |
萨菲尔辛普森飓风1 是 萨菲尔辛普森飓风风力等级 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 2405-2405 |
萨菲尔辛普森飓风2 是 萨菲尔辛普森飓风风力等级 的 instance |
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 2429-2429 |
萨菲尔辛普森飓风4 是 萨菲尔辛普森飓风风力等级 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 2441-2441 |
萨菲尔辛普森飓风5 是 萨菲尔辛普森飓风风力等级 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 2356-2356 |
|
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 2354-2354 |
|
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 2355-2355 |
|