No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 4813-4813 |
中凸的圆形 是 三维图 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 4839-4839 |
圆筒 是 三维图 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 4835-4835 |
锥体 是 三维图 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 26543-26543 |
HemisphereFigure 是 三维图 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 4984-4984 |
球 是 三维图 的 subclass |
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 |
|