No TPTP formula. May not be expressible in strict first order. |
Geography.kif 2950-2950 |
淤积 是 水土流失 的 causes 子分类 |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 2947-2948 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 6870-6870 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7913-7913 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7914-7914 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7915-7915 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7916-7916 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7917-7917 |
|
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 2945-2945 |
水土流失 是 侵蚀 的 subclass |