No TPTP formula. May not be expressible in strict first order. |
Weather.kif 2484-2485 |
|
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 2482-2483 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5958-5958 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 6371-6371 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 6372-6372 |
|
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 2480-2480 |
荒漠化 是 天气过程 的 subclass |