No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28967-28967 |
95 是 銤 的 atomic 数字 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29421-29421 |
2880.0 凯文度 是 銤 的 boiling 点 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28975-28979 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 1638-1638 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 2100-2100 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 1027-1027 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29420-29420 |
1267.0 凯文度 是 銤 的 melting 点 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28965-28965 |
"Americium" 的名 是 銤 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31577-31577 |
roomTempState 銤 and 固体 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28964-28964 |
銤 是 元素物质 的 subclass |