|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28541-28541 | 75 是 錸 的 atomic 數字 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28004-28004 | 45 是 銠 的 atomic 數字 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27862-27862 | 37 是 銣 的 atomic 數字 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27988-27988 | 44 是 釕 的 atomic 數字 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28307-28307 | 62 是 釤 的 atomic 數字 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27593-27593 | 21 是 鈧 的 atomic 數字 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27811-27811 | 34 是 硒 的 atomic 數字 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27482-27482 | 14 是 矽 的 atomic 數字 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28035-28035 | 47 是 銀 的 atomic 數字 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27430-27430 | 11 是 鈉 的 atomic 數字 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27879-27879 | 38 是 鍶 的 atomic 數字 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27514-27514 | 16 是 硫 的 atomic 數字 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28508-28508 | 73 是 鉭 的 atomic 數字 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27969-27969 | 43 是 锝 的 atomic 數字 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28115-28115 | 52 是 碲 的 atomic 數字 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28361-28361 | 65 是 铽 的 atomic 數字 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28658-28658 | 81 是 鉈 的 atomic 數字 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28816-28816 | 90 是 釷 的 atomic 數字 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28439-28439 | 69 是 铥 的 atomic 數字 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28082-28082 | 50 是 錫 的 atomic 數字 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27609-27609 | 22 是 鈦 的 atomic 數字 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28525-28525 | 74 是 鎢 的 atomic 數字 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29158-29158 | 110 是 Unnildecium 的 atomic 數字 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29097-29097 | 106 是 Unnilhexium 的 atomic 數字 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29128-29128 | 108 是 Unniloctium 的 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