No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 27605-27605 |
21 是 钪 的 atomic 数字 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29222-29222 |
3105.0 凯文度 是 钪 的 boiling 点 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 27613-27616 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 2344-2344 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 1970-1970 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 1244-1244 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29221-29221 |
1812.0 凯文度 是 钪 的 melting 点 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 27603-27603 |
"Scandium" 的名 是 钪 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31471-31471 |
roomTempState 钪 and 固体 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 27602-27602 |
钪 是 元素物质 的 subclass |