No TPTP formula. May not be expressible in strict first order. |
Geography.kif 6832-6832 |
例 飲用水問題不足 and 環境水問題 |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 6831-6831 |
例 有限的淡水問題 and 環境水問題 |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 6839-6839 |
例 水污染問題 and 環境水問題 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 22276-22276 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 22275-22275 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 22274-22274 |
|