WaterPollution |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 2972-2973 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 6971-6971 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 8254-8254 | |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 2970-2970 | WaterPollution e' uma sub-classe de Pollution |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 62447-62447 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 62446-62446 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 62445-62445 |