|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29363-29363 | 1133.0 凯文度 是 锿 的 melting 点 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29303-29303 | 1795.0 凯文度 是 铒 的 melting 点 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29293-29293 | 1095.0 凯文度 是 铕 的 melting 点 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29185-29185 | 53.53 凯文度 是 氟 的 melting 点 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29341-29341 | 300.0 凯文度 是 钫 的 melting 点 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29295-29295 | 1584.0 凯文度 是 钆 的 melting 点 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29229-29229 | 302.93 凯文度 是 镓 的 melting 点 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29231-29231 | 1210.55 凯文度 是 锗 的 melting 点 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29325-29325 | 1337.58 凯文度 是 金 的 melting 点 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29311-29311 | 2423.0 凯文度 是 铪 的 melting 点 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29171-29171 | 0.95 凯文度 是 氦 的 melting 点 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29301-29301 | 1743.0 凯文度 是 钬 的 melting 点 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29169-29169 | 14.01 凯文度 是 氢 的 melting 点 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29265-29265 | 429.32 凯文度 是 铟 的 melting 点 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29273-29273 | 386.65 凯文度 是 碘 的 melting 点 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29321-29321 | 2683.0 凯文度 是 铱 的 melting 点 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29219-29219 | 1808.0 凯文度 是 铁 的 melting 点 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29239-29239 | 116.55 凯文度 是 氪 的 melting 点 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29281-29281 | 1193.0 凯文度 是 镧 的 melting 点 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29331-29331 | 600.65 凯文度 是 铅 的 melting 点 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29173-29173 | 453.69 凯文度 是 锂 的 melting 点 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29309-29309 | 1929.0 凯文度 是 镏 的 melting 点 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29191-29191 | 921.95 凯文度 是 镁 的 melting 点 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29217-29217 | 1517.0 凯文度 是 锰 的 melting 点 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29327-29327 | 234.28 凯文度 是 汞 的 melting 点 |
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
|
|
Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners