No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 4813-4813 |
ConvexRoundShape est une instance de ThreeDimensionalFigure |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 4839-4839 |
Cylinder est une instance de ThreeDimensionalFigure |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 4835-4835 |
Cone est une sous-classe de ThreeDimensionalFigure |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 26543-26543 |
HemisphereFigure est une sous-classe de ThreeDimensionalFigure |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 4984-4984 |
Sphere est une sous-classe de ThreeDimensionalFigure |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 57902-57902 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 57901-57901 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 57900-57900 |
|