|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28985-28985 | 99 是 锿 的 atomic 數字 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28434-28434 | 68 是 鉺 的 atomic 數字 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28340-28340 | 63 是 銪 的 atomic 數字 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29005-29005 | 100 是 鐨 的 atomic 數字 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27407-27407 | 9 是 氟 的 atomic 數字 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28778-28778 | 87 是 鈁 的 atomic 數字 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28356-28356 | 64 是 钆 的 atomic 數字 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27773-27773 | 31 是 鎵 的 atomic 數字 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27791-27791 | 32 是 鍺 的 atomic 數字 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28632-28632 | 79 是 金 的 atomic 數字 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28504-28504 | 72 是 鉿 的 atomic 數字 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27286-27286 | 2 是 氦 的 atomic 數字 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28409-28409 | 67 是 钬 的 atomic 數字 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27270-27270 | 1 是 氫 的 atomic 數字 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28078-28078 | 49 是 銦 的 atomic 數字 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28143-28143 | 53 是 碘 的 atomic 數字 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28582-28582 | 77 是 銥 的 atomic 數字 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27693-27693 | 26 是 鐵 的 atomic 數字 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27854-27854 | 36 是 氪 的 atomic 數字 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28220-28220 | 57 是 鑭 的 atomic 數字 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29056-29056 | 103 是 铹 的 atomic 數字 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28692-28692 | 82 是 鉛 的 atomic 數字 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27302-27302 | 3 是 鋰 的 atomic 數字 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28482-28482 | 71 是 鎦 的 atomic 數字 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27458-27458 | 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