No TPTP formula. May not be expressible in strict first order. |
Geography.kif 2950-2950 |
causesSubclass SoilErosion and Siltation |
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 |
SoilErosion est une sous-classe de Erosion |