No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 28975-28979	例 Physical and 锿 例 Physical and Atom 測量 Physical and 測量 254 and amu
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 28424-28428	例 Physical and 鉺 例 Physical and Atom 測量 Physical and 測量 167.26 and amu
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 28330-28334	例 Physical and 銪 例 Physical and Atom 測量 Physical and 測量 151.25 and amu
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 28995-28999	例 Physical and 鐨 例 Physical and Atom 測量 Physical and 測量 253 and amu
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27397-27401	例 Physical and 氟 例 Physical and Atom 測量 Physical and 測量 18.9984 and amu
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 28768-28772	例 Physical and 鈁 例 Physical and Atom 測量 Physical and 測量 223 and amu
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 28346-28350	例 Physical and 钆 例 Physical and Atom 測量 Physical and 測量 157.25 and amu
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27763-27767	例 Physical and 鎵 例 Physical and Atom 測量 Physical and 測量 69.72 and amu
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27781-27785	例 Physical and 鍺 例 Physical and Atom 測量 Physical and 測量 72.59 and amu
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 28622-28626	例 Physical and 金 例 Physical and Atom 測量 Physical and 測量 196.96655 and amu
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 28494-28498	例 Physical and 鉿 例 Physical and Atom 測量 Physical and 測量 178.49 and amu
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27276-27280	例 Physical and 氦 例 Physical and Atom 測量 Physical and 測量 4.0026 and amu
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 28399-28403	例 Physical and 钬 例 Physical and Atom 測量 Physical and 測量 167.26 and amu
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27260-27264	例 Physical and 氫 例 Physical and Atom 測量 Physical and 測量 1.0079 and amu
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 28068-28072	例 Physical and 銦 例 Physical and Atom 測量 Physical and 測量 114.82 and amu
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 28133-28137	例 Physical and 碘 例 Physical and Atom 測量 Physical and 測量 126.904 and amu
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 28572-28576	例 Physical and 銥 例 Physical and Atom 測量 Physical and 測量 192.217 and amu
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27683-27687	例 Physical and 鐵 例 Physical and Atom 測量 Physical and 測量 55.847 and amu
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27844-27848	例 Physical and 氪 例 Physical and Atom 測量 Physical and 測量 83.80 and amu
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 28210-28214	例 Physical and 鑭 例 Physical and Atom 測量 Physical and 測量 138.9055 and amu
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29046-29050	例 Physical and 铹 例 Physical and Atom 測量 Physical and 測量 262 and amu
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 28682-28686	例 Physical and 鉛 例 Physical and Atom 測量 Physical and 測量 207.19 and amu
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27292-27296	例 Physical and 鋰 例 Physical and Atom 測量 Physical and 測量 6.939 and amu
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 28472-28476	例 Physical and 鎦 例 Physical and Atom 測量 Physical and 測量 194.967 and amu
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27448-27452	例 Physical and 鎂 例 Physical and Atom 測量 Physical and 測量 24.312 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