No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28878-28878 |
93 是 镎 的 atomic 数字 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29366-29366 |
4175.0 凯文度 是 镎 的 boiling 点 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28886-28891 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 1865-1865 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29365-29365 |
913.0 凯文度 是 镎 的 melting 点 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28876-28876 |
"Neptunium" 的名 是 镎 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31543-31543 |
roomTempState 镎 and 固体 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28875-28875 |
镎 是 元素物质 的 subclass |