No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 27929-27929 |
41 是 铌 的 atomic 数字 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29250-29250 |
5200.0 凯文度 是 铌 的 boiling 点 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 27937-27941 |
|
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 29249-29249 |
2741.0 凯文度 是 铌 的 melting 点 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 27927-27927 |
"Niobium" 的名 是 铌 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31487-31487 |
roomTempState 铌 and 固体 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 27926-27926 |
铌 是 元素物质 的 subclass |