No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28568-28568 |
76 是 锇 的 atomic 数字 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29332-29332 |
5300.0 凯文度 是 锇 的 boiling 点 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28576-28577 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 1883-1883 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29331-29331 |
3318.0 凯文度 是 锇 的 melting 点 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28566-28566 |
"Osmium" 的名 是 锇 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31526-31526 |
roomTempState 锇 and 固体 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28565-28565 |
锇 是 元素物质 的 subclass |