No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29342-29342 |
950.0 凯文度 是 钫 的 boiling 点 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29296-29296 |
3506.0 凯文度 是 钆 的 boiling 点 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29230-29230 |
2676.0 凯文度 是 镓 的 boiling 点 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29232-29232 |
3103.0 凯文度 是 锗 的 boiling 点 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29326-29326 |
3213.0 凯文度 是 金 的 boiling 点 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29312-29312 |
5673.0 凯文度 是 铪 的 boiling 点 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29172-29172 |
4.216 凯文度 是 氦 的 boiling 点 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29302-29302 |
2993.0 凯文度 是 钬 的 boiling 点 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29170-29170 |
20.28 凯文度 是 氢 的 boiling 点 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29266-29266 |
2353.0 凯文度 是 铟 的 boiling 点 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29274-29274 |
457.55 凯文度 是 碘 的 boiling 点 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29322-29322 |
4403.0 凯文度 是 铱 的 boiling 点 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29220-29220 |
3023.0 凯文度 是 铁 的 boiling 点 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29240-29240 |
120.85 凯文度 是 氪 的 boiling 点 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29282-29282 |
3727.0 凯文度 是 镧 的 boiling 点 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29332-29332 |
2013.0 凯文度 是 铅 的 boiling 点 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29174-29174 |
1590.0 凯文度 是 锂 的 boiling 点 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29310-29310 |
3588.0 凯文度 是 镏 的 boiling 点 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29192-29192 |
1380.0 凯文度 是 镁 的 boiling 点 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29218-29218 |
2370.0 凯文度 是 锰 的 boiling 点 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29328-29328 |
629.73 凯文度 是 汞 的 boiling 点 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29252-29252 |
5833.0 凯文度 是 钼 的 boiling 点 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29288-29288 |
3400.0 凯文度 是 钕 的 boiling 点 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29188-29188 |
27.1 凯文度 是 氖 的 boiling 点 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29354-29354 |
4175.0 凯文度 是 镎 的 boiling 点 |
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |