|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29375-29375 | 1133.0 凯文度 是 锿 的 melting 点 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29315-29315 | 1795.0 凯文度 是 铒 的 melting 点 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29305-29305 | 1095.0 凯文度 是 铕 的 melting 点 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29197-29197 | 53.53 凯文度 是 氟 的 melting 点 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29353-29353 | 300.0 凯文度 是 钫 的 melting 点 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29307-29307 | 1584.0 凯文度 是 钆 的 melting 点 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29241-29241 | 302.93 凯文度 是 镓 的 melting 点 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29243-29243 | 1210.55 凯文度 是 锗 的 melting 点 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29337-29337 | 1337.58 凯文度 是 金 的 melting 点 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29323-29323 | 2423.0 凯文度 是 铪 的 melting 点 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29183-29183 | 0.95 凯文度 是 氦 的 melting 点 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29313-29313 | 1743.0 凯文度 是 钬 的 melting 点 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29181-29181 | 14.01 凯文度 是 氢 的 melting 点 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29277-29277 | 429.32 凯文度 是 铟 的 melting 点 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29285-29285 | 386.65 凯文度 是 碘 的 melting 点 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29333-29333 | 2683.0 凯文度 是 铱 的 melting 点 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29231-29231 | 1808.0 凯文度 是 铁 的 melting 点 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29251-29251 | 116.55 凯文度 是 氪 的 melting 点 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29293-29293 | 1193.0 凯文度 是 镧 的 melting 点 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29343-29343 | 600.65 凯文度 是 铅 的 melting 点 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29185-29185 | 453.69 凯文度 是 锂 的 melting 点 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29321-29321 | 1929.0 凯文度 是 镏 的 melting 点 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29203-29203 | 921.95 凯文度 是 镁 的 melting 点 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29229-29229 | 1517.0 凯文度 是 锰 的 melting 点 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29339-29339 | 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