(=>     (and         (instance ?ATOM Unnilpentium)         (instance ?ATOM Atom))     (measure ?ATOM         (MeasureFn 262 Amu)))	Mid-level-ontology.kif 29097-29101	物理 は Unnilpentium の instance では %n 物理 は 原子 の instance では %n 物理 の measure は 262 の Amu(s) では %n
(=>     (and         (instance ?ATOM Unnilquadium)         (instance ?ATOM Atom))     (measure ?ATOM         (MeasureFn 261 Amu)))	Mid-level-ontology.kif 29080-29084	物理 は Unnilquadium の instance では %n 物理 は 原子 の instance では %n 物理 の measure は 261 の Amu(s) では %n
(=>     (and         (instance ?ATOM Unnilseptium)         (instance ?ATOM Atom))     (measure ?ATOM         (MeasureFn 262 Amu)))	Mid-level-ontology.kif 29126-29130	物理 は Unnilseptium の instance では %n 物理 は 原子 の instance では %n 物理 の measure は 262 の Amu(s) では %n
(=>     (and         (instance ?ATOM Uranium)         (instance ?ATOM Atom))     (measure ?ATOM         (MeasureFn 231 Amu)))	Mid-level-ontology.kif 28864-28868	物理 は Uranium の instance では %n 物理 は 原子 の instance では %n 物理 の measure は 231 の Amu(s) では %n
(=>     (and         (instance ?ATOM Vanadium)         (instance ?ATOM Atom))     (measure ?ATOM         (MeasureFn 50.9415 Amu)))	Mid-level-ontology.kif 27639-27643	物理 は Vanadium の instance では %n 物理 は 原子 の instance では %n 物理 の measure は 50.9415 の Amu(s) では %n
(=>     (and         (instance ?ATOM Xenon)         (instance ?ATOM Atom))     (measure ?ATOM         (MeasureFn 131.30 Amu)))	Mid-level-ontology.kif 28163-28167	物理 は Xenon の instance では %n 物理 は 原子 の instance では %n 物理 の measure は 131.30 の Amu(s) では %n
(=>     (and         (instance ?ATOM Ytterbium)         (instance ?ATOM Atom))     (measure ?ATOM         (MeasureFn 173.04 Amu)))	Mid-level-ontology.kif 28469-28473	物理 は Ytterbium の instance では %n 物理 は 原子 の instance では %n 物理 の measure は 173.04 の Amu(s) では %n
(=>     (and         (instance ?ATOM Yttrium)         (instance ?ATOM Atom))     (measure ?ATOM         (MeasureFn 88.905 Amu)))	Mid-level-ontology.kif 27910-27914	物理 は Yttrium の instance では %n 物理 は 原子 の instance では %n 物理 の measure は 88.905 の Amu(s) では %n
(=>     (and         (instance ?ATOM Zinc)         (instance ?ATOM Atom))     (measure ?ATOM         (MeasureFn 65.38 Amu)))	Mid-level-ontology.kif 27759-27763	物理 は Zinc の instance では %n 物理 は 原子 の instance では %n 物理 の measure は 65.38 の Amu(s) では %n
(=>     (and         (instance ?ATOM Zirconium)         (instance ?ATOM Atom))     (measure ?ATOM         (MeasureFn 91.22 Amu)))	Mid-level-ontology.kif 27927-27931	物理 は Zirconium の instance では %n 物理 は 原子 の instance では %n 物理 の measure は 91.22 の Amu(s) では %n

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