| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 27493-27493 |
11 是 鈉 的 atomic 數字 |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29253-29253 |
測量 1165.0 and 凱文度 是 鈉 的 boiling 點 |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 27501-27504 |
|
| No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 1991-1991 |
|
| No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 2365-2365 |
|
| No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 1255-1255 |
|
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29252-29252 |
測量 370.95 and 凱文度 是 鈉 的 melting 點 |
| No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 5869-5869 |
molecularRatio 鈉, 1 and 鹽 |
| No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 5876-5876 |
molecularRatio 鈉, 1 and SodiumLactate |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 27491-27491 |
名 鈉 and "Sodium" |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31493-31493 |
roomTempState 鈉 and 固體 |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 27490-27490 |
子類 鈉 and ElementalSubstance |
