No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 4813-4813 |
Convex round shape is an instance of three dimensional figure |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 4835-4835 |
Cone is a subclass of three dimensional figure |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 4839-4839 |
Cylinder is a subclass of three dimensional figure |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 26555-26555 |
Hemisphere is a subclass of three dimensional figure |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 4985-4985 |
Sphere is a subclass of three dimensional figure |
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 |
|