No TPTP formula. May not be expressible in strict first order. |
Geography.kif 6828-6828 |
例 土壤退化問題 and 土壤品質問題 |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 6827-6827 |
例 土壤侵蝕問題 and 土壤品質問題 |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 6829-6829 |
例 土壤枯竭問題 and 土壤品質問題 |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 6837-6837 |
例 土壤污染問題 and 土壤品質問題 |
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 |
|