No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 27941-27941 |
41 是 铌 的 atomic 数字 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29262-29262 |
5200.0 凯文度 是 铌 的 boiling 点 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 27949-27953 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 2267-2267 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 1867-1867 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 1198-1198 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29261-29261 |
2741.0 凯文度 是 铌 的 melting 点 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 27939-27939 |
"Niobium" 的名 是 铌 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31491-31491 |
roomTempState 铌 and 固体 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 27938-27938 |
铌 是 元素物质 的 subclass |