No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 27430-27430 |
11 是 钠 的 atomic 数字 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29190-29190 |
1165.0 凯文度 是 钠 的 boiling 点 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 27438-27441 |
|
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 29189-29189 |
370.95 凯文度 是 钠 的 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 27428-27428 |
"Sodium" 的名 是 钠 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31457-31457 |
roomTempState 钠 and 固体 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 27427-27427 |
钠 是 元素物质 的 subclass |