PollutionIssue(pollution issue) |
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 | Pollution issue is a subclass of environmental issue |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 6835-6835 | Air pollution issue is an instance of pollution issue |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 6843-6843 | Industrial pollution issue is an instance of pollution issue |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 6865-6865 | Nuclear environmental issue is an instance of pollution issue |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 6866-6866 | Oil pollution issue is an instance of pollution issue |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 6845-6845 | Power plant emissions issue is an instance of pollution issue |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 6847-6847 | Raw sewage pollution issue is an instance of pollution issue |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 6836-6836 | Soil pollution issue is an instance of pollution issue |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 6851-6851 | Solid waste disposal issue is an instance of pollution issue |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 6864-6864 | Toxic chemical pollution issue is an instance of pollution issue |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 6846-6846 | Toxic waste disposal issue is an instance of pollution issue |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 6844-6844 | Vehicle emissions issue is an instance of pollution issue |
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 |