| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 27574-27574 |
19 是 钾 的 atomic 数字 |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29218-29218 |
1047.0 凯文度 是 钾 的 boiling 点 |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 27582-27585 |
|
| No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 1931-1931 |
|
| No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 2320-2320 |
|
| No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 1218-1218 |
|
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29217-29217 |
336.8 凯文度 是 钾 的 melting 点 |
| No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 5873-5873 |
molecularRatio 钾, 1 and PotassiumChloride |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 27572-27572 |
"Potassium" 的名 是 钾 |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31469-31469 |
roomTempState 钾 and 固体 |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 27571-27571 |
钾 是 元素物质 的 subclass |
