|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29224-29224 | 測量 3005.0 and 凱文度 是 鎳 的 boiling 點 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29250-29250 | 測量 5200.0 and 凱文度 是 鈮 的 boiling 點 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29182-29182 | 測量 77.4 and 凱文度 是 氮 的 boiling 點 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29320-29320 | 測量 5300.0 and 凱文度 是 鋨 的 boiling 點 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29184-29184 | 測量 90.188 and 凱文度 是 氧 的 boiling 點 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29260-29260 | 測量 3413.0 and 凱文度 是 鈀 的 boiling 點 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29198-29198 | 測量 553.0 and 凱文度 是 磷 的 boiling 點 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29324-29324 | 測量 4100.0 and 凱文度 是 鉑 的 boiling 點 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29356-29356 | 測量 3600.0 and 凱文度 是 钚 的 boiling 點 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29336-29336 | 測量 1235.0 and 凱文度 是 釙 的 boiling 點 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29206-29206 | 測量 1047.0 and 凱文度 是 鉀 的 boiling 點 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29286-29286 | 測量 3485.0 and 凱文度 是 镨 的 boiling 點 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29290-29290 | 測量 3000.0 and 凱文度 是 钷 的 boiling 點 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29350-29350 | 測量 4300.0 and 凱文度 是 镤 的 boiling 點 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29344-29344 | 測量 1413.0 and 凱文度 是 鐳 的 boiling 點 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29340-29340 | 測量 211.4 and 凱文度 是 氡 的 boiling 點 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29318-29318 | 測量 5900.0 and 凱文度 是 錸 的 boiling 點 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29258-29258 | 測量 4000.0 and 凱文度 是 銠 的 boiling 點 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29242-29242 | 測量 961.0 and 凱文度 是 銣 的 boiling 點 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29256-29256 | 測量 4173.0 and 凱文度 是 釕 的 boiling 點 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29292-29292 | 測量 2051.0 and 凱文度 是 釤 的 boiling 點 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29210-29210 | 測量 3105.0 and 凱文度 是 鈧 的 boiling 點 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29236-29236 | 測量 958.1 and 凱文度 是 硒 的 boiling 點 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29196-29196 | 測量 2628.0 and 凱文度 是 矽 的 boiling 點 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29262-29262 | 測量 2485.0 and 凱文度 是 銀 的 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