| No TPTP formula. May not be expressible in strict first order. | Geography.kif 6818-6818 | EnvironmentalIssue est une sous-classe de AreaOfConcern |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 6826-6826 | SoilQualityIssue est une sous-classe de EnvironmentalIssue |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 6830-6830 | EnvironmentalWaterIssue est une sous-classe de EnvironmentalIssue |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 6842-6842 | PollutionIssue est une sous-classe de EnvironmentalIssue |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 6853-6853 | BiodiversityIssue est une sous-classe de EnvironmentalIssue |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 6882-6882 | DiseaseConditionsIssue est une sous-classe de EnvironmentalIssue |
|
|