No TPTP formula. May not be expressible in strict first order. |
Weather.kif 1065-1067 |
|
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 1060-1063 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7003-7003 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 6589-6589 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7001-7001 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7002-7002 |
|
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 1058-1058 |
冻雨 是 沉淀 的 subclass |