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