No TPTP formula. May not be expressible in strict first order. |
Geography.kif 6828-6828 |
SoilDegradationIssue est une instance de SoilQualityIssue |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 6827-6827 |
SoilErosionIssue est une instance de SoilQualityIssue |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 6829-6829 |
SoilExhaustionIssue est une instance de SoilQualityIssue |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 6837-6837 |
SoilPollutionIssue est une instance de SoilQualityIssue |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 53806-53806 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 53805-53805 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 53804-53804 |
|