No TPTP formula. May not be expressible in strict first order. |
Geography.kif 2931-2936 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11873-11873 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11872-11872 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11874-11874 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11871-11871 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 10262-10262 |
|
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 2929-2929 |
砍伐和烧毁农业 是 农业 的 subclass |