|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28973-28973 | 99 是 锿 的 atomic 數字 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28422-28422 | 68 是 鉺 的 atomic 數字 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28328-28328 | 63 是 銪 的 atomic 數字 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28993-28993 | 100 是 鐨 的 atomic 數字 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27395-27395 | 9 是 氟 的 atomic 數字 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28766-28766 | 87 是 鈁 的 atomic 數字 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28344-28344 | 64 是 钆 的 atomic 數字 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27761-27761 | 31 是 鎵 的 atomic 數字 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27779-27779 | 32 是 鍺 的 atomic 數字 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28620-28620 | 79 是 金 的 atomic 數字 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28492-28492 | 72 是 鉿 的 atomic 數字 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27274-27274 | 2 是 氦 的 atomic 數字 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28397-28397 | 67 是 钬 的 atomic 數字 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27258-27258 | 1 是 氫 的 atomic 數字 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28066-28066 | 49 是 銦 的 atomic 數字 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28131-28131 | 53 是 碘 的 atomic 數字 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28570-28570 | 77 是 銥 的 atomic 數字 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27681-27681 | 26 是 鐵 的 atomic 數字 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27842-27842 | 36 是 氪 的 atomic 數字 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28208-28208 | 57 是 鑭 的 atomic 數字 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29044-29044 | 103 是 铹 的 atomic 數字 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28680-28680 | 82 是 鉛 的 atomic 數字 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27290-27290 | 3 是 鋰 的 atomic 數字 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28470-28470 | 71 是 鎦 的 atomic 數字 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27446-27446 | 12 是 鎂 的 atomic 數字 |
| 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