|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29251-29251 | 2890.0 凯文度 是 钼 的 melting 点 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29287-29287 | 1283.0 凯文度 是 钕 的 melting 点 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29187-29187 | 24.48 凯文度 是 氖 的 melting 点 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29353-29353 | 913.0 凯文度 是 镎 的 melting 点 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29223-29223 | 1726.0 凯文度 是 镍 的 melting 点 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29249-29249 | 2741.0 凯文度 是 铌 的 melting 点 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29181-29181 | 63.29 凯文度 是 氮 的 melting 点 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29319-29319 | 3318.0 凯文度 是 锇 的 melting 点 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29183-29183 | 54.75 凯文度 是 氧 的 melting 点 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29259-29259 | 1825.0 凯文度 是 钯 的 melting 点 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29197-29197 | 317.3 凯文度 是 磷 的 melting 点 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29323-29323 | 2045.0 凯文度 是 铂 的 melting 点 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29355-29355 | 914.0 凯文度 是 钚 的 melting 点 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29335-29335 | 527.0 凯文度 是 钋 的 melting 点 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29205-29205 | 336.8 凯文度 是 钾 的 melting 点 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29285-29285 | 1204.0 凯文度 是 镨 的 melting 点 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29289-29289 | 1353.0 凯文度 是 钷 的 melting 点 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29349-29349 | 1827.0 凯文度 是 镤 的 melting 点 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29343-29343 | 973.0 凯文度 是 镭 的 melting 点 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29339-29339 | 202.0 凯文度 是 氡 的 melting 点 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29317-29317 | 3453.0 凯文度 是 铼 的 melting 点 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29257-29257 | 2239.0 凯文度 是 铑 的 melting 点 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29241-29241 | 312.2 凯文度 是 铷 的 melting 点 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29255-29255 | 2583.0 凯文度 是 钌 的 melting 点 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29291-29291 | 1345.0 凯文度 是 钐 的 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