No TPTP formula. May not be expressible in strict first order. | Cars.kif 1794-1794 | Chlorofluorocarbon est une sous-classe de substance compos�e |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 1805-1805 | Freon12 est une sous-classe de Chlorofluorocarbon |