No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28929-28929 |
93 是 镎 的 atomic 数字 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29417-29417 |
4175.0 凯文度 是 镎 的 boiling 点 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28937-28942 |
|
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 29416-29416 |
913.0 凯文度 是 镎 的 melting 点 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28927-28927 |
"Neptunium" 的名 是 镎 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31575-31575 |
roomTempState 镎 and 固体 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28926-28926 |
镎 是 元素物质 的 subclass |