No TPTP formula. May not be expressible in strict first order. |
Geography.kif 6828-6828 |
SoilDegradationIssue e' uma instancia de SoilQualityIssue |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 6827-6827 |
SoilErosionIssue e' uma instancia de SoilQualityIssue |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 6829-6829 |
SoilExhaustionIssue e' uma instancia de SoilQualityIssue |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 6837-6837 |
SoilPollutionIssue e' uma instancia de SoilQualityIssue |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 53804-53804 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 53803-53803 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 53802-53802 |
|