No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29085-29089	例 Physical and unnilpentium 例 Physical and Atom 測量 Physical and 測量 262 and amu
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29068-29072	例 Physical and unnilquadium 例 Physical and Atom 測量 Physical and 測量 261 and amu
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29114-29118	例 Physical and unnilseptium 例 Physical and Atom 測量 Physical and 測量 262 and amu
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 28852-28856	例 Physical and 鈾 例 Physical and Atom 測量 Physical and 測量 231 and amu
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27627-27631	例 Physical and 釩 例 Physical and Atom 測量 Physical and 測量 50.9415 and amu
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 28151-28155	例 Physical and 氙 例 Physical and Atom 測量 Physical and 測量 131.30 and amu
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 28457-28461	例 Physical and 鐿 例 Physical and Atom 測量 Physical and 測量 173.04 and amu
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27898-27902	例 Physical and 釔 例 Physical and Atom 測量 Physical and 測量 88.905 and amu
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27747-27751	例 Physical and 鋅 例 Physical and Atom 測量 Physical and 測量 65.38 and amu
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27915-27919	例 Physical and 鋯 例 Physical and Atom 測量 Physical and 測量 91.22 and amu

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