No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29083-29083 |
105 是 Unnilpentium 的 atomic 数字 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29091-29093 |
|
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 29081-29081 |
"Unnilpentium" 的名 是 Unnilpentium |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29080-29080 |
Unnilpentium 是 元素物质 的 subclass |