No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 27438-27438 |
8 是 氧 的 atomic 数字 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29247-29247 |
90.188 凯文度 是 氧 的 boiling 点 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 27446-27453 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 1886-1886 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29246-29246 |
54.75 凯文度 是 氧 的 melting 点 |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 7214-7214 |
molecularRatio 氧, 1 and 一氧化氮 |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 7239-7239 |
molecularRatio 氧, 2 and 二氧化氮 |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 7179-7179 |
molecularRatio 氧, 2 and 二氧化硫 |
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 5879-5879 |
molecularRatio 氧, 3 and SodiumLactate |
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 2476-2476 |
molecularRatio 氧, 4 and SulfuricAcid |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 27436-27436 |
"Oxygen" 的名 是 氧 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31490-31490 |
roomTempState 氧 and 加油站 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 27435-27435 |
氧 是 元素物质 的 subclass |