No TPTP formula. May not be expressible in strict first order. |
Geography.kif 2940-2943 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 9666-9666 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 9665-9665 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 9667-9667 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 9664-9664 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 9668-9668 |
|
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 2938-2938 |
Soil degradation is a subclass of social interaction |