No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28553-28553 |
75 是 铼 的 atomic 数字 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29330-29330 |
5900.0 凯文度 是 铼 的 boiling 点 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28561-28563 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 1956-1956 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 2336-2336 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 1234-1234 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29329-29329 |
3453.0 凯文度 是 铼 的 melting 点 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28551-28551 |
"Rhenium" 的名 是 铼 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31525-31525 |
roomTempState 铼 and 固体 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28550-28550 |
铼 是 元素物质 的 subclass |