No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29124-29124 |
107 是 Unnilseptium 的 atomic 数字 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29132-29135 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 6949-6949 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29123-29123 |
"Unnilseptium" 的名 是 Unnilseptium |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29122-29122 |
Unnilseptium 是 元素物质 的 subclass |