|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29354-29354 | 測量 950.0 and 凱文度 是 鈁 的 boiling 點 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29308-29308 | 測量 3506.0 and 凱文度 是 钆 的 boiling 點 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29242-29242 | 測量 2676.0 and 凱文度 是 鎵 的 boiling 點 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29244-29244 | 測量 3103.0 and 凱文度 是 鍺 的 boiling 點 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29338-29338 | 測量 3213.0 and 凱文度 是 金 的 boiling 點 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29324-29324 | 測量 5673.0 and 凱文度 是 鉿 的 boiling 點 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29184-29184 | 測量 4.216 and 凱文度 是 氦 的 boiling 點 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29314-29314 | 測量 2993.0 and 凱文度 是 钬 的 boiling 點 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29182-29182 | 測量 20.28 and 凱文度 是 氫 的 boiling 點 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29278-29278 | 測量 2353.0 and 凱文度 是 銦 的 boiling 點 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29286-29286 | 測量 457.55 and 凱文度 是 碘 的 boiling 點 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29334-29334 | 測量 4403.0 and 凱文度 是 銥 的 boiling 點 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29232-29232 | 測量 3023.0 and 凱文度 是 鐵 的 boiling 點 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29252-29252 | 測量 120.85 and 凱文度 是 氪 的 boiling 點 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29294-29294 | 測量 3727.0 and 凱文度 是 鑭 的 boiling 點 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29344-29344 | 測量 2013.0 and 凱文度 是 鉛 的 boiling 點 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29186-29186 | 測量 1590.0 and 凱文度 是 鋰 的 boiling 點 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29322-29322 | 測量 3588.0 and 凱文度 是 鎦 的 boiling 點 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29204-29204 | 測量 1380.0 and 凱文度 是 鎂 的 boiling 點 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29230-29230 | 測量 2370.0 and 凱文度 是 錳 的 boiling 點 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29340-29340 | 測量 629.73 and 凱文度 是 汞 的 boiling 點 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29264-29264 | 測量 5833.0 and 凱文度 是 鉬 的 boiling 點 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29300-29300 | 測量 3400.0 and 凱文度 是 釹 的 boiling 點 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29200-29200 | 測量 27.1 and 凱文度 是 氖 的 boiling 點 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29366-29366 | 測量 4175.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