No TPTP formula. May not be expressible in strict first order. | Geography.kif 2735-2735 | GreenhouseGas e' uma sub-classe de Substancia Pura |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 2736-2736 | GreenhouseGas e' uma sub-classe de Gas |
![]() |