(=>     (and         (instance ?ATOM Einsteinium)         (instance ?ATOM Atom))     (measure ?ATOM         (MeasureFn 254 Amu)))	Mid-level-ontology.kif 30906-30910	物理 は Einsteinium の instance では 物理 は 原子 の instance では 物理 の measure は 254 の Amu(s) では
(=>     (and         (instance ?ATOM Erbium)         (instance ?ATOM Atom))     (measure ?ATOM         (MeasureFn 167.26 Amu)))	Mid-level-ontology.kif 30355-30359	物理 は Erbium の instance では 物理 は 原子 の instance では 物理 の measure は 167.26 の Amu(s) では
(=>     (and         (instance ?ATOM Europium)         (instance ?ATOM Atom))     (measure ?ATOM         (MeasureFn 151.25 Amu)))	Mid-level-ontology.kif 30261-30265	物理 は Europium の instance では 物理 は 原子 の instance では 物理 の measure は 151.25 の Amu(s) では
(=>     (and         (instance ?ATOM Fermium)         (instance ?ATOM Atom))     (measure ?ATOM         (MeasureFn 253 Amu)))	Mid-level-ontology.kif 30926-30930	物理 は Fermium の instance では 物理 は 原子 の instance では 物理 の measure は 253 の Amu(s) では
(=>     (and         (instance ?ATOM Fluorine)         (instance ?ATOM Atom))     (measure ?ATOM         (MeasureFn 18.9984 Amu)))	Mid-level-ontology.kif 29328-29332	物理 は Fluorine の instance では 物理 は 原子 の instance では 物理 の measure は 18.9984 の Amu(s) では
(=>     (and         (instance ?ATOM Francium)         (instance ?ATOM Atom))     (measure ?ATOM         (MeasureFn 223 Amu)))	Mid-level-ontology.kif 30699-30703	物理 は Francium の instance では 物理 は 原子 の instance では 物理 の measure は 223 の Amu(s) では
(=>     (and         (instance ?ATOM Gadolinium)         (instance ?ATOM Atom))     (measure ?ATOM         (MeasureFn 157.25 Amu)))	Mid-level-ontology.kif 30277-30281	物理 は Gadolinium の instance では 物理 は 原子 の instance では 物理 の measure は 157.25 の Amu(s) では
(=>     (and         (instance ?ATOM Gallium)         (instance ?ATOM Atom))     (measure ?ATOM         (MeasureFn 69.72 Amu)))	Mid-level-ontology.kif 29694-29698	物理 は Gallium の instance では 物理 は 原子 の instance では 物理 の measure は 69.72 の Amu(s) では
(=>     (and         (instance ?ATOM Germanium)         (instance ?ATOM Atom))     (measure ?ATOM         (MeasureFn 72.59 Amu)))	Mid-level-ontology.kif 29712-29716	物理 は Germanium の instance では 物理 は 原子 の instance では 物理 の measure は 72.59 の Amu(s) では
(=>     (and         (instance ?ATOM Gold)         (instance ?ATOM Atom))     (measure ?ATOM         (MeasureFn 196.96655 Amu)))	Mid-level-ontology.kif 30553-30557	物理 は Gold の instance では 物理 は 原子 の instance では 物理 の measure は 196.96655 の Amu(s) では
(=>     (and         (instance ?ATOM Hafnium)         (instance ?ATOM Atom))     (measure ?ATOM         (MeasureFn 178.49 Amu)))	Mid-level-ontology.kif 30425-30429	物理 は Hafnium の instance では 物理 は 原子 の instance では 物理 の measure は 178.49 の Amu(s) では
(=>     (and         (instance ?ATOM Helium)         (instance ?ATOM Atom))     (measure ?ATOM         (MeasureFn 4.0026 Amu)))	Mid-level-ontology.kif 29207-29211	物理 は Helium の instance では 物理 は 原子 の instance では 物理 の measure は 4.0026 の Amu(s) では
(=>     (and         (instance ?ATOM Holmium)         (instance ?ATOM Atom))     (measure ?ATOM         (MeasureFn 167.26 Amu)))	Mid-level-ontology.kif 30330-30334	物理 は Holmium の instance では 物理 は 原子 の instance では 物理 の measure は 167.26 の Amu(s) では
(=>     (and         (instance ?ATOM Hydrogen)         (instance ?ATOM Atom))     (measure ?ATOM         (MeasureFn 1.0079 Amu)))	Mid-level-ontology.kif 29191-29195	物理 は Hydrogen の instance では 物理 は 原子 の instance では 物理 の measure は 1.0079 の Amu(s) では
(=>     (and         (instance ?ATOM Indium)         (instance ?ATOM Atom))     (measure ?ATOM         (MeasureFn 114.82 Amu)))	Mid-level-ontology.kif 29999-30003	物理 は Indium の instance では 物理 は 原子 の instance では 物理 の measure は 114.82 の Amu(s) では
(=>     (and         (instance ?ATOM Iodine)         (instance ?ATOM Atom))     (measure ?ATOM         (MeasureFn 126.904 Amu)))	Mid-level-ontology.kif 30064-30068	物理 は Iodine の instance では 物理 は 原子 の instance では 物理 の measure は 126.904 の Amu(s) では
(=>     (and         (instance ?ATOM Iridium)         (instance ?ATOM Atom))     (measure ?ATOM         (MeasureFn 192.217 Amu)))	Mid-level-ontology.kif 30503-30507	物理 は Iridium の instance では 物理 は 原子 の instance では 物理 の measure は 192.217 の Amu(s) では
(=>     (and         (instance ?ATOM Iron)         (instance ?ATOM Atom))     (measure ?ATOM         (MeasureFn 55.847 Amu)))	Mid-level-ontology.kif 29614-29618	物理 は Iron の instance では 物理 は 原子 の instance では 物理 の measure は 55.847 の Amu(s) では
(=>     (and         (instance ?ATOM Krypton)         (instance ?ATOM Atom))     (measure ?ATOM         (MeasureFn 83.80 Amu)))	Mid-level-ontology.kif 29775-29779	物理 は Krypton の instance では 物理 は 原子 の instance では 物理 の measure は 83.80 の Amu(s) では
(=>     (and         (instance ?ATOM Lanthanum)         (instance ?ATOM Atom))     (measure ?ATOM         (MeasureFn 138.9055 Amu)))	Mid-level-ontology.kif 30141-30145	物理 は Lanthanum の instance では 物理 は 原子 の instance では 物理 の measure は 138.9055 の Amu(s) では
(=>     (and         (instance ?ATOM Lawrencium)         (instance ?ATOM Atom))     (measure ?ATOM         (MeasureFn 262 Amu)))	Mid-level-ontology.kif 30977-30981	物理 は Lawrencium の instance では 物理 は 原子 の instance では 物理 の measure は 262 の Amu(s) では
(=>     (and         (instance ?ATOM Lead)         (instance ?ATOM Atom))     (measure ?ATOM         (MeasureFn 207.19 Amu)))	Mid-level-ontology.kif 30613-30617	物理 は Lead の instance では 物理 は 原子 の instance では 物理 の measure は 207.19 の Amu(s) では
(=>     (and         (instance ?ATOM Lithium)         (instance ?ATOM Atom))     (measure ?ATOM         (MeasureFn 6.939 Amu)))	Mid-level-ontology.kif 29223-29227	物理 は Lithium の instance では 物理 は 原子 の instance では 物理 の measure は 6.939 の Amu(s) では
(=>     (and         (instance ?ATOM Lutetium)         (instance ?ATOM Atom))     (measure ?ATOM         (MeasureFn 194.967 Amu)))	Mid-level-ontology.kif 30403-30407	物理 は Lutetium の instance では 物理 は 原子 の instance では 物理 の measure は 194.967 の Amu(s) では
(=>     (and         (instance ?ATOM Magnesium)         (instance ?ATOM Atom))     (measure ?ATOM         (MeasureFn 24.312 Amu)))	Mid-level-ontology.kif 29379-29383	物理 は Magnesium の instance では 物理 は 原子 の instance では 物理 の measure は 24.312 の Amu(s) では
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