No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28373-28373 |
65 是 铽 的 atomic 数字 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29310-29310 |
3314.0 凯文度 是 铽 的 boiling 点 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28381-28383 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 2396-2396 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 2025-2025 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 1266-1266 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29309-29309 |
1633.0 凯文度 是 铽 的 melting 点 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28371-28371 |
"Terbium" 的名 是 铽 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31515-31515 |
roomTempState 铽 and 固体 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28370-28370 |
铽 是 元素物质 的 subclass |