No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 27891-27891 |
38 是 锶 的 atomic 数字 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29256-29256 |
1657.0 凯文度 是 锶 的 boiling 点 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 27899-27903 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 2007-2007 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 2380-2380 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 1257-1257 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29255-29255 |
1042.0 凯文度 是 锶 的 melting 点 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 27889-27889 |
"Strontium" 的名 是 锶 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31488-31488 |
roomTempState 锶 and 固体 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 27888-27888 |
锶 是 元素物质 的 subclass |