No TPTP formula. May not be expressible in strict first order. | Merge.kif 17859-17859 | GeometricFigure est une sous-classe de attribut de forme |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17865-17865 | GeometricPoint est une sous-classe de GeometricFigure |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17870-17870 | OneDimensionalFigure est une sous-classe de GeometricFigure |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17874-17874 | TwoDimensionalFigure est une sous-classe de GeometricFigure |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17892-17892 | ThreeDimensionalFigure est une sous-classe de GeometricFigure |