EnvironmentalIssue DakotaGroupLanguage
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 6819-6820 | |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 6818-6818 | 环境问题 是 关注的区域 的 subclass |
appearance as argument number 2 |
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 |