| PollutionIssue
|
| appearance as argument number 1 |
|
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 8659-8659 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 9554-9554 | |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 6842-6842 | PollutionIssue est une sous-classe de EnvironmentalIssue |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 6835-6835 | AirPollutionIssue est une instance de PollutionIssue |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 6843-6843 | IndustrialPollutionIssue est une instance de PollutionIssue |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 6865-6865 | NuclearEnvironmentalIssue est une instance de PollutionIssue |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 6866-6866 | OilPollutionIssue est une instance de PollutionIssue |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 6845-6845 | PowerPlantEmissionsIssue est une instance de PollutionIssue |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 6847-6847 | RawSewagePollutionIssue est une instance de PollutionIssue |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 6836-6836 | SoilPollutionIssue est une instance de PollutionIssue |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 6851-6851 | SolidWasteDisposalIssue est une instance de PollutionIssue |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 6864-6864 | ToxicChemicalPollutionIssue est une instance de PollutionIssue |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 6846-6846 | ToxicWasteDisposalIssue est une instance de PollutionIssue |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 6844-6844 | VehicleEmissionsIssue est une instance de PollutionIssue |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 46567-46567 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 46566-46566 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 46565-46565 |
|
|
|