No TPTP formula. May not be expressible in strict first order. | Merge.kif 17802-17802 | Geometric figure is a subclass of shape attribute |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17808-17808 | Geometric point is a subclass of geometric figure |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17813-17813 | One dimensional figure is a subclass of geometric figure |
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 17835-17835 | Three dimensional figure is a subclass of geometric figure |
![]() |