No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29358-29358 |
3470.0 凯文度 是 锕 的 boiling 点 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29206-29206 |
2740.0 凯文度 是 铝 的 boiling 点 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29370-29370 |
2880.0 凯文度 是 銤 的 boiling 点 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29282-29282 |
2023.0 凯文度 是 锑 的 boiling 点 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29216-29216 |
87.29 凯文度 是 氩 的 boiling 点 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29246-29246 |
886.0 凯文度 是 砷 的 boiling 点 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29350-29350 |
610.0 凯文度 是 砹 的 boiling 点 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29292-29292 |
1913.0 凯文度 是 钡 的 boiling 点 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29188-29188 |
3243.0 凯文度 是 铍 的 boiling 点 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29346-29346 |
1833.0 凯文度 是 铋 的 boiling 点 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29190-29190 |
2823.0 凯文度 是 硼 的 boiling 点 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29250-29250 |
331.93 凯文度 是 溴 的 boiling 点 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29276-29276 |
1038.0 凯文度 是 镉 的 boiling 点 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29290-29290 |
963.0 凯文度 是 铯 的 boiling 点 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29220-29220 |
1760.0 凯文度 是 钙 的 boiling 点 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29192-29192 |
5100.0 凯文度 是 碳 的 boiling 点 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29296-29296 |
3530.0 凯文度 是 铈 的 boiling 点 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29214-29214 |
238.55 凯文度 是 氯 的 boiling 点 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29228-29228 |
2755.0 凯文度 是 铬 的 boiling 点 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29234-29234 |
3143.0 凯文度 是 钴 的 boiling 点 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29238-29238 |
2868.0 凯文度 是 铜 的 boiling 点 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29312-29312 |
2608.0 凯文度 是 镝 的 boiling 点 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29316-29316 |
2783.0 凯文度 是 铒 的 boiling 点 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29306-29306 |
1870.0 凯文度 是 铕 的 boiling 点 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29198-29198 |
85.01 凯文度 是 氟 的 boiling 点 |
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |