No TPTP formula. May not be expressible in strict first order. | Geography.kif 2805-2805 | Pollution est une sous-classe de interaction social |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 2479-2479 | AirPollution est une sous-classe de Pollution |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 2748-2748 | IndustrialPollution est une sous-classe de Pollution |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 2795-2795 | PesticidePollution est une sous-classe de Pollution |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 2961-2961 | VehicularPollution est une sous-classe de Pollution |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 2970-2970 | WaterPollution est une sous-classe de Pollution |