No TPTP formula. May not be expressible in strict first order. |
Geography.kif 2479-2479 |
AirPollution e' uma sub-classe de Pollution |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 2748-2748 |
IndustrialPollution e' uma sub-classe de Pollution |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 2795-2795 |
PesticidePollution e' uma sub-classe de Pollution |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 2961-2961 |
VehicularPollution e' uma sub-classe de Pollution |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 2970-2970 |
WaterPollution e' uma sub-classe de Pollution |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 46561-46561 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 46560-46560 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 46559-46559 |
|