No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 28543-28547	例 Physical and 錸 例 Physical and Atom 測量 Physical and 測量 186.2 and amu
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 28006-28010	例 Physical and 銠 例 Physical and Atom 測量 Physical and 測量 102.905 and amu
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27864-27868	例 Physical and 銣 例 Physical and Atom 測量 Physical and 測量 85.47 and amu
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27990-27994	例 Physical and 釕 例 Physical and Atom 測量 Physical and 測量 101.07 and amu
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 28309-28313	例 Physical and 釤 例 Physical and Atom 測量 Physical and 測量 150.35 and amu
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27595-27599	例 Physical and 鈧 例 Physical and Atom 測量 Physical and 測量 44.956 and amu
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27813-27817	例 Physical and 硒 例 Physical and Atom 測量 Physical and 測量 78.96 and amu
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27484-27488	例 Physical and 矽 例 Physical and Atom 測量 Physical and 測量 28.086 and amu
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 28037-28041	例 Physical and 銀 例 Physical and Atom 測量 Physical and 測量 107.870 and amu
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27432-27436	例 Physical and 鈉 例 Physical and Atom 測量 Physical and 測量 22.9898 and amu
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27881-27885	例 Physical and 鍶 例 Physical and Atom 測量 Physical and 測量 87.62 and amu
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27516-27520	例 Physical and 硫 例 Physical and Atom 測量 Physical and 測量 32.064 and amu
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 28510-28514	例 Physical and 鉭 例 Physical and Atom 測量 Physical and 測量 180.948 and amu
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27971-27975	例 Physical and 锝 例 Physical and Atom 測量 Physical and 測量 98 and amu
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 28117-28121	例 Physical and 碲 例 Physical and Atom 測量 Physical and 測量 127.60 and amu
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 28363-28367	例 Physical and 铽 例 Physical and Atom 測量 Physical and 測量 158.924 and amu
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 28660-28664	例 Physical and 鉈 例 Physical and Atom 測量 Physical and 測量 204.3833 and amu
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 28818-28822	例 Physical and 釷 例 Physical and Atom 測量 Physical and 測量 232.038 and amu
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 28441-28445	例 Physical and 铥 例 Physical and Atom 測量 Physical and 測量 168.934 and amu
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 28084-28088	例 Physical and 錫 例 Physical and Atom 測量 Physical and 測量 118.69 and amu
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27611-27615	例 Physical and 鈦 例 Physical and Atom 測量 Physical and 測量 47.90 and amu
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 28527-28531	例 Physical and 鎢 例 Physical and Atom 測量 Physical and 測量 183.85 and amu
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29160-29164	例 Physical and unnildecium 例 Physical and Atom 測量 Physical and 測量 272 and amu
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29099-29103	例 Physical and unnilhexium 例 Physical and Atom 測量 Physical and 測量 263 and amu
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29130-29134	例 Physical and unniloctium 例 Physical and Atom 測量 Physical and 測量 265 and amu
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