No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 27530-27530 |
17 是 氯 的 atomic 數字 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29202-29202 |
測量 238.55 and 凱文度 是 氯 的 boiling 點 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 27538-27542 |
|
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 29201-29201 |
測量 172.17 and 凱文度 是 氯 的 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 1811-1811 |
molecularRatio 氯, 2 and Freon12 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 27528-27528 |
名 氯 and "Chlorine" |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31463-31463 |
roomTempState 氯 and 液體 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 27527-27527 |
子類 氯 and ElementalSubstance |