|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29190-29190 | 1165.0 凯文度 是 钠 的 boiling 点 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29244-29244 | 1657.0 凯文度 是 锶 的 boiling 点 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29200-29200 | 717.824 凯文度 是 硫 的 boiling 点 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29314-29314 | 5698.0 凯文度 是 钽 的 boiling 点 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29254-29254 | 5303.0 凯文度 是 锝 的 boiling 点 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29272-29272 | 1263.0 凯文度 是 碲 的 boiling 点 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29298-29298 | 3314.0 凯文度 是 铽 的 boiling 点 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29330-29330 | 1730.0 凯文度 是 铊 的 boiling 点 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29348-29348 | 5060.0 凯文度 是 钍 的 boiling 点 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29306-29306 | 2000.0 凯文度 是 铥 的 boiling 点 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29268-29268 | 2543.0 凯文度 是 锡 的 boiling 点 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29212-29212 | 3533.0 凯文度 是 钛 的 boiling 点 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29316-29316 | 6200.0 凯文度 是 钨 的 boiling 点 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29352-29352 | 4091.0 凯文度 是 铀 的 boiling 点 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29214-29214 | 3653.0 凯文度 是 钒 的 boiling 点 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29276-29276 | 166.1 凯文度 是 氙 的 boiling 点 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29308-29308 | 1466.0 凯文度 是 镱 的 boiling 点 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29246-29246 | 3610.0 凯文度 是 钇 的 boiling 点 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29228-29228 | 1180.0 凯文度 是 锌 的 boiling 点 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29248-29248 | 4650.0 凯文度 是 锆 的 boiling 点 |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 7008-7010 | 实数 摄氏度 equal (那个 实数 和 273.15) 凯文度 |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 7316-7318 | 实数 兰金度 equal 那个 实数 和 1.8 凯文度 |
| 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 点 |
| 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