No TPTP formula. May not be expressible in strict first order. |
Geography.kif 6860-6860 |
Endangered species issue is an instance of biodiversity issue |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 6862-6862 |
Fragile ecosystem issue is an instance of biodiversity issue |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 6873-6873 |
Land clearing issue is an instance of biodiversity issue |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 11075-11075 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 11074-11074 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 11073-11073 |
|