No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29345-29345 |
1320.0 凯文度 是 锕 的 melting 点 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29193-29193 |
933.52 凯文度 是 铝 的 melting 点 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29357-29357 |
1267.0 凯文度 是 銤 的 melting 点 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29269-29269 |
903.89 凯文度 是 锑 的 melting 点 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29203-29203 |
83.78 凯文度 是 氩 的 melting 点 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29233-29233 |
886.0 凯文度 是 砷 的 melting 点 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29337-29337 |
575.0 凯文度 是 砹 的 melting 点 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29279-29279 |
998.0 凯文度 是 钡 的 melting 点 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29361-29361 |
1259.0 凯文度 是 锫 的 melting 点 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29175-29175 |
1551.0 凯文度 是 铍 的 melting 点 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29333-29333 |
544.5 凯文度 是 铋 的 melting 点 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29177-29177 |
2573.0 凯文度 是 硼 的 melting 点 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29237-29237 |
265.9 凯文度 是 溴 的 melting 点 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29263-29263 |
594.1 凯文度 是 镉 的 melting 点 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29277-29277 |
301.55 凯文度 是 铯 的 melting 点 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29207-29207 |
1112.0 凯文度 是 钙 的 melting 点 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29362-29362 |
1173.0 凯文度 是 锎 的 melting 点 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29179-29179 |
3823.0 凯文度 是 碳 的 melting 点 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29283-29283 |
1071.0 凯文度 是 铈 的 melting 点 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29201-29201 |
172.17 凯文度 是 氯 的 melting 点 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29215-29215 |
2130.0 凯文度 是 铬 的 melting 点 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29221-29221 |
1768.0 凯文度 是 钴 的 melting 点 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29225-29225 |
1356.6 凯文度 是 铜 的 melting 点 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29360-29360 |
1613.0 凯文度 是 锔 的 melting 点 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29299-29299 |
1682.0 凯文度 是 镝 的 melting 点 |
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |