No TPTP formula. May not be expressible in strict first order. | Geography.kif 2805-2805 | Pollution is a subclass of social interaction |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 2479-2479 | Air pollution is a subclass of pollution |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 2748-2748 | Industrial pollution is a subclass of pollution |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 2795-2795 | Pesticide pollution is a subclass of pollution |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 2961-2961 | Vehicular pollution is a subclass of pollution |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 2970-2970 | Water pollution is a subclass of pollution |