No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 27321-27321 |
1 是 氢 的 atomic 数字 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29233-29233 |
20.28 凯文度 是 氢 的 boiling 点 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 27329-27332 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 1811-1811 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 1141-1141 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29232-29232 |
14.01 凯文度 是 氢 的 melting 点 |
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 2474-2474 |
molecularRatio 氢, 2 and SulfuricAcid |
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 5878-5878 |
molecularRatio 氢, 5 and SodiumLactate |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 27319-27319 |
"Hydrogen" 的名 是 氢 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31482-31482 |
roomTempState 氢 and 加油站 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 27318-27318 |
氢 是 元素物质 的 subclass |