No TPTP formula. May not be expressible in strict first order. | Cars.kif 1794-1794 | Chlorofluorocarbon is a subclass of compound substance |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 1805-1805 | Freon-12 is a subclass of chlorofluorocarbon |
![]() |