No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29095-29095 |
105 是 Unnilpentium 的 atomic 数字 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29103-29105 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 6947-6947 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 8182-8182 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 2051-2051 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29093-29093 |
"Unnilpentium" 的名 是 Unnilpentium |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29092-29092 |
Unnilpentium 是 元素物质 的 subclass |