No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28794-28794 |
88 是 镭 的 atomic 数字 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29356-29356 |
1413.0 凯文度 是 镭 的 boiling 点 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28802-28805 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 1943-1943 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29355-29355 |
973.0 凯文度 是 镭 的 melting 点 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28792-28792 |
"Radium" 的名 是 镭 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31538-31538 |
roomTempState 镭 and 固体 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28791-28791 |
镭 是 元素物质 的 subclass |