No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 27562-27562 |
19 是 鉀 的 atomic 數字 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29206-29206 |
測量 1047.0 and 凱文度 是 鉀 的 boiling 點 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 27570-27573 |
|
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 29205-29205 |
測量 336.8 and 凱文度 是 鉀 的 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 27560-27560 |
名 鉀 and "Potassium" |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31465-31465 |
roomTempState 鉀 and 固體 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 27559-27559 |
子類 鉀 and ElementalSubstance |