No TPTP formula. May not be expressible in strict first order. | Merge.kif 17892-17892 | ThreeDimensionalFigure est une sous-classe de GeometricFigure |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 4830-4830 | Cone est une sous-classe de ThreeDimensionalFigure |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 4979-4979 | Sphere est une sous-classe de ThreeDimensionalFigure |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 26588-26588 | HemisphereFigure est une sous-classe de ThreeDimensionalFigure |