No TPTP formula. May not be expressible in strict first order. |
Geography.kif 6823-6823 |
酸雨问题 是 环境问题 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 6822-6822 |
酸化问题 是 环境问题 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 6824-6824 |
气溶胶微粒问题 是 环境问题 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 6871-6871 |
农业化学品问题 是 环境问题 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 6893-6893 |
农业扩张问题 是 环境问题 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 6889-6889 |
石棉处理问题 是 环境问题 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 6857-6857 |
气候变化问题 是 环境问题 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 6876-6876 |
沿海退化 是 环境问题 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 6878-6878 |
沿海海洋污染问题 是 环境问题 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 6877-6877 |
珊瑚礁衰变问题 是 环境问题 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 6825-6825 |
砍伐森林问题 是 环境问题 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 6834-6834 |
荒漠化问题 是 环境问题 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 6899-6899 |
漂网捕鱼问题 是 环境问题 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 6896-6896 |
干旱问题 是 环境问题 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 6901-6901 |
饥荒问题 是 环境问题 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 6870-6870 |
农业实践问题 是 环境问题 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 6867-6867 |
鱼类枯竭问题 是 环境问题 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 6874-6874 |
森林退化 是 环境问题 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 6890-6890 |
非法野生动物贸易问题 是 环境问题 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 6884-6884 |
卫生设施不足 是 环境问题 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 6897-6897 |
土着人民保护问题 是 环境问题 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 6898-6898 |
入侵物种问题 是 环境问题 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 6895-6895 |
地雷问题 是 环境问题 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 6892-6892 |
失去栖息地问题 是 环境问题 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 6894-6894 |
采矿污染问题 是 环境问题 的 instance |
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |