No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 4813-4813 |
ConvexRoundShape e' uma instancia de ThreeDimensionalFigure |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 4835-4835 |
Cone e' uma sub-classe de ThreeDimensionalFigure |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 4839-4839 |
Cylinder e' uma sub-classe de ThreeDimensionalFigure |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 26555-26555 |
HemisphereFigure e' uma sub-classe de ThreeDimensionalFigure |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 4985-4985 |
Sphere e' uma sub-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 |
|