|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29224-29224 | 3005.0 凯文度 是 镍 的 boiling 点 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29250-29250 | 5200.0 凯文度 是 铌 的 boiling 点 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29182-29182 | 77.4 凯文度 是 氮 的 boiling 点 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29320-29320 | 5300.0 凯文度 是 锇 的 boiling 点 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29184-29184 | 90.188 凯文度 是 氧 的 boiling 点 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29260-29260 | 3413.0 凯文度 是 钯 的 boiling 点 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29198-29198 | 553.0 凯文度 是 磷 的 boiling 点 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29324-29324 | 4100.0 凯文度 是 铂 的 boiling 点 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29356-29356 | 3600.0 凯文度 是 钚 的 boiling 点 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29336-29336 | 1235.0 凯文度 是 钋 的 boiling 点 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29206-29206 | 1047.0 凯文度 是 钾 的 boiling 点 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29286-29286 | 3485.0 凯文度 是 镨 的 boiling 点 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29290-29290 | 3000.0 凯文度 是 钷 的 boiling 点 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29350-29350 | 4300.0 凯文度 是 镤 的 boiling 点 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29344-29344 | 1413.0 凯文度 是 镭 的 boiling 点 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29340-29340 | 211.4 凯文度 是 氡 的 boiling 点 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29318-29318 | 5900.0 凯文度 是 铼 的 boiling 点 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29258-29258 | 4000.0 凯文度 是 铑 的 boiling 点 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29242-29242 | 961.0 凯文度 是 铷 的 boiling 点 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29256-29256 | 4173.0 凯文度 是 钌 的 boiling 点 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29292-29292 | 2051.0 凯文度 是 钐 的 boiling 点 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29210-29210 | 3105.0 凯文度 是 钪 的 boiling 点 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29236-29236 | 958.1 凯文度 是 硒 的 boiling 点 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29196-29196 | 2628.0 凯文度 是 硅 的 boiling 点 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29262-29262 | 2485.0 凯文度 是 银 的 boiling 点 |
| 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