No TPTP formula. May not be expressible in strict first order. | Merge.kif 17817-17817 | Two dimensional figure is a subclass of geometric figure |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17823-17823 | Open two dimensional figure is a subclass of two dimensional figure |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17831-17831 | Closed two dimensional figure is a subclass of two dimensional figure |
![]() |