|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29209-29209 | 1812.0 凯文度 是 钪 的 melting 点 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29235-29235 | 490.0 凯文度 是 硒 的 melting 点 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29195-29195 | 1683.0 凯文度 是 硅 的 melting 点 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29261-29261 | 1235.08 凯文度 是 银 的 melting 点 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29189-29189 | 370.95 凯文度 是 钠 的 melting 点 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29243-29243 | 1042.0 凯文度 是 锶 的 melting 点 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29199-29199 | 386.0 凯文度 是 硫 的 melting 点 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29313-29313 | 3269.0 凯文度 是 钽 的 melting 点 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29253-29253 | 2445.0 凯文度 是 锝 的 melting 点 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29271-29271 | 722.7 凯文度 是 碲 的 melting 点 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29297-29297 | 1633.0 凯文度 是 铽 的 melting 点 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29329-29329 | 576.7 凯文度 是 铊 的 melting 点 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29347-29347 | 2023.0 凯文度 是 钍 的 melting 点 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29305-29305 | 1818.0 凯文度 是 铥 的 melting 点 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29267-29267 | 505.118 凯文度 是 锡 的 melting 点 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29211-29211 | 1933.0 凯文度 是 钛 的 melting 点 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29315-29315 | 3680.0 凯文度 是 钨 的 melting 点 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29351-29351 | 1405.5 凯文度 是 铀 的 melting 点 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29213-29213 | 2163.0 凯文度 是 钒 的 melting 点 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29275-29275 | 161.3 凯文度 是 氙 的 melting 点 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29307-29307 | 1097.0 凯文度 是 镱 的 melting 点 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29245-29245 | 1796.0 凯文度 是 钇 的 melting 点 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29227-29227 | 692.73 凯文度 是 锌 的 melting 点 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29247-29247 | 2125.0 凯文度 是 锆 的 melting 点 |
|
|
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