No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 27593-27593 |
17 是 氯 的 atomic 数字 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29265-29265 |
238.55 凯文度 是 氯 的 boiling 点 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 27601-27605 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 1698-1698 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 2137-2137 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 1073-1073 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29264-29264 |
172.17 凯文度 是 氯 的 melting 点 |
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 5872-5872 |
molecularRatio 氯, 1 and PotassiumChloride |
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 5868-5868 |
molecularRatio 氯, 1 and 盐 |
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 5865-5865 |
molecularRatio 氯, 2 and CalciumChloride |
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 1788-1788 |
molecularRatio 氯, 2 and Freon12 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 27591-27591 |
"Chlorine" 的名 是 氯 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31499-31499 |
roomTempState 氯 and 液体 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 27590-27590 |
氯 是 元素物质 的 subclass |