| SoilErosionIssue(soil erosion issue)
|
| appearance as argument number 1 |
|
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 8722-8722 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 9669-9669 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 9670-9670 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 9671-9671 | |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 6827-6827 | Soil erosion issue is an instance of soil quality issue |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 53780-53780 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 53779-53779 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 53778-53778 |
|
|
|