| No TPTP formula. May not be expressible in strict first order. | Merge.kif 17802-17802 | GeometricFigure est une sous-classe de attribut de forme |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 17808-17808 | GeometricPoint est une sous-classe de GeometricFigure |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 17813-17813 | OneDimensionalFigure est une sous-classe de GeometricFigure |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 17817-17817 | TwoDimensionalFigure est une sous-classe de GeometricFigure |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 17835-17835 | ThreeDimensionalFigure est une sous-classe de GeometricFigure |
|
|