No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29409-29409 |
3470.0 凯文度 是 锕 的 boiling 点 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29257-29257 |
2740.0 凯文度 是 铝 的 boiling 点 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29421-29421 |
2880.0 凯文度 是 銤 的 boiling 点 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29333-29333 |
2023.0 凯文度 是 锑 的 boiling 点 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29267-29267 |
87.29 凯文度 是 氩 的 boiling 点 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29297-29297 |
886.0 凯文度 是 砷 的 boiling 点 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29401-29401 |
610.0 凯文度 是 砹 的 boiling 点 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29343-29343 |
1913.0 凯文度 是 钡 的 boiling 点 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29239-29239 |
3243.0 凯文度 是 铍 的 boiling 点 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29397-29397 |
1833.0 凯文度 是 铋 的 boiling 点 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29241-29241 |
2823.0 凯文度 是 硼 的 boiling 点 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29301-29301 |
331.93 凯文度 是 溴 的 boiling 点 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29327-29327 |
1038.0 凯文度 是 镉 的 boiling 点 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29341-29341 |
963.0 凯文度 是 铯 的 boiling 点 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29271-29271 |
1760.0 凯文度 是 钙 的 boiling 点 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29243-29243 |
5100.0 凯文度 是 碳 的 boiling 点 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29347-29347 |
3530.0 凯文度 是 铈 的 boiling 点 |
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 29279-29279 |
2755.0 凯文度 是 铬 的 boiling 点 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29285-29285 |
3143.0 凯文度 是 钴 的 boiling 点 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29289-29289 |
2868.0 凯文度 是 铜 的 boiling 点 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29363-29363 |
2608.0 凯文度 是 镝 的 boiling 点 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29367-29367 |
2783.0 凯文度 是 铒 的 boiling 点 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29357-29357 |
1870.0 凯文度 是 铕 的 boiling 点 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29249-29249 |
85.01 凯文度 是 氟 的 boiling 点 |
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |