No TPTP formula. May not be expressible in strict first order. | Merge.kif 7613-7613 | Oval is a subclass of closed two dimensional figure |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7618-7618 | Circle is a subclass of oval |