No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29346-29346 |
3470.0 凯文度 是 锕 的 boiling 点 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29194-29194 |
2740.0 凯文度 是 铝 的 boiling 点 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29358-29358 |
2880.0 凯文度 是 銤 的 boiling 点 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29270-29270 |
2023.0 凯文度 是 锑 的 boiling 点 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29204-29204 |
87.29 凯文度 是 氩 的 boiling 点 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29234-29234 |
886.0 凯文度 是 砷 的 boiling 点 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29338-29338 |
610.0 凯文度 是 砹 的 boiling 点 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29280-29280 |
1913.0 凯文度 是 钡 的 boiling 点 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29176-29176 |
3243.0 凯文度 是 铍 的 boiling 点 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29334-29334 |
1833.0 凯文度 是 铋 的 boiling 点 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29178-29178 |
2823.0 凯文度 是 硼 的 boiling 点 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29238-29238 |
331.93 凯文度 是 溴 的 boiling 点 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29264-29264 |
1038.0 凯文度 是 镉 的 boiling 点 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29278-29278 |
963.0 凯文度 是 铯 的 boiling 点 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29208-29208 |
1760.0 凯文度 是 钙 的 boiling 点 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29180-29180 |
5100.0 凯文度 是 碳 的 boiling 点 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29284-29284 |
3530.0 凯文度 是 铈 的 boiling 点 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29202-29202 |
238.55 凯文度 是 氯 的 boiling 点 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29216-29216 |
2755.0 凯文度 是 铬 的 boiling 点 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29222-29222 |
3143.0 凯文度 是 钴 的 boiling 点 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29226-29226 |
2868.0 凯文度 是 铜 的 boiling 点 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29300-29300 |
2608.0 凯文度 是 镝 的 boiling 点 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29304-29304 |
2783.0 凯文度 是 铒 的 boiling 点 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29294-29294 |
1870.0 凯文度 是 铕 的 boiling 点 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29186-29186 |
85.01 凯文度 是 氟 的 boiling 点 |
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |