|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27678-27678 | 25 是 錳 的 atomic 數字 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29153-29153 | 109 是 䥑 的 atomic 數字 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29021-29021 | 101 是 鍆 的 atomic 數字 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28653-28653 | 80 是 汞 的 atomic 數字 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27958-27958 | 42 是 鉬 的 atomic 數字 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28273-28273 | 60 是 釹 的 atomic 數字 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27424-27424 | 10 是 氖 的 atomic 數字 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28878-28878 | 93 是 镎 的 atomic 數字 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27727-27727 | 28 是 鎳 的 atomic 數字 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27941-27941 | 41 是 鈮 的 atomic 數字 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27369-27369 | 7 是 氮 的 atomic 數字 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29039-29039 | 102 是 锘 的 atomic 數字 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28568-28568 | 76 是 鋨 的 atomic 數字 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27387-27387 | 8 是 氧 的 atomic 數字 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28031-28031 | 46 是 鈀 的 atomic 數字 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27511-27511 | 15 是 磷 的 atomic 數字 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28606-28606 | 78 是 鉑 的 atomic 數字 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28896-28896 | 94 是 钚 的 atomic 數字 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28726-28726 | 84 是 釙 的 atomic 數字 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27574-27574 | 19 是 鉀 的 atomic 數字 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28257-28257 | 59 是 镨 的 atomic 數字 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28299-28299 | 61 是 钷 的 atomic 數字 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28845-28845 | 91 是 镤 的 atomic 數字 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28794-28794 | 88 是 鐳 的 atomic 數字 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28760-28760 | 86 是 氡 的 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