| No TPTP formula. May not be expressible in strict first order. | Geography.kif 6818-6818 | Environmental issue is a subclass of area of concern |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 6826-6826 | Soil quality issue is a subclass of environmental issue |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 6830-6830 | Environmental water issue is a subclass of environmental issue |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 6842-6842 | Pollution issue is a subclass of environmental issue |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 6853-6853 | Biodiversity issue is a subclass of environmental issue |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 6882-6882 | Disease conditions issue is a subclass of environmental issue |
|
|