No TPTP formula. May not be expressible in strict first order. |
Geography.kif 6823-6823 |
例 酸雨問題 and 環境問題 |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 6822-6822 |
例 酸化問題 and 環境問題 |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 6824-6824 |
例 氣溶膠微粒問題 and 環境問題 |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 6871-6871 |
例 農業化學品問題 and 環境問題 |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 6893-6893 |
例 農業擴張問題 and 環境問題 |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 6889-6889 |
例 石棉處理問題 and 環境問題 |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 6857-6857 |
例 氣候變化問題 and 環境問題 |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 6876-6876 |
例 沿海退化 and 環境問題 |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 6878-6878 |
例 沿海海洋污染問題 and 環境問題 |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 6877-6877 |
例 珊瑚礁衰變問題 and 環境問題 |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 6825-6825 |
例 砍伐森林問題 and 環境問題 |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 6834-6834 |
例 荒漠化問題 and 環境問題 |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 6899-6899 |
例 漂網捕魚問題 and 環境問題 |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 6896-6896 |
例 乾旱問題 and 環境問題 |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 6901-6901 |
例 飢荒問題 and 環境問題 |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 6870-6870 |
例 農業實踐問題 and 環境問題 |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 6867-6867 |
例 魚類枯竭問題 and 環境問題 |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 6874-6874 |
例 森林退化 and 環境問題 |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 6890-6890 |
例 非法野生動物貿易問題 and 環境問題 |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 6884-6884 |
例 衛生設施不足 and 環境問題 |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 6897-6897 |
例 土著人民保護問題 and 環境問題 |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 6898-6898 |
例 入侵物種問題 and 環境問題 |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 6895-6895 |
例 地雷問題 and 環境問題 |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 6892-6892 |
例 失去棲息地問題 and 環境問題 |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 6894-6894 |
例 採礦污染問題 and 環境問題 |
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |