| AcidRainfall(酸雨)
| |
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 2537-2537 | 酸化 是 酸雨 的 causes 子分类 |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 2488-2490 | |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 2484-2486 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 2071-2071 | |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 2493-2493 | 酸雨 是 下雨 的 subclass |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 2536-2536 | 酸雨 是 空气污染 的 causes 子分类 |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 5316-5316 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 5315-5315 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 5314-5314 |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 2509-2517 | |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 2495-2507 | |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 2519-2534 |
|
|
|
|