No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 10129-10129 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11440-11440 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11441-11441 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11442-11442 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11443-11443 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11444-11444 |
|
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 1231-1231 |
子類 寒冷西北風 and 風 |