|
|
   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 e' uma sub-classe de EnvironmentalIssue |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 6835-6835 | AirPollutionIssue e' uma instancia de PollutionIssue |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 6843-6843 | IndustrialPollutionIssue e' uma instancia de PollutionIssue |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 6865-6865 | NuclearEnvironmentalIssue e' uma instancia de PollutionIssue |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 6866-6866 | OilPollutionIssue e' uma instancia de PollutionIssue |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 6845-6845 | PowerPlantEmissionsIssue e' uma instancia de PollutionIssue |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 6847-6847 | RawSewagePollutionIssue e' uma instancia de PollutionIssue |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 6836-6836 | SoilPollutionIssue e' uma instancia de PollutionIssue |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 6851-6851 | SolidWasteDisposalIssue e' uma instancia de PollutionIssue |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 6864-6864 | ToxicChemicalPollutionIssue e' uma instancia de PollutionIssue |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 6846-6846 | ToxicWasteDisposalIssue e' uma instancia de PollutionIssue |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 6844-6844 | VehicleEmissionsIssue e' uma instancia 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 |
|
|
|
