(=>     (and         (instance ?ATOM Unnilpentium)         (instance ?ATOM Atom))     (measure ?ATOM         (MeasureFn 262 Amu)))	Mid-level-ontology.kif 29085-29089	Physique est une instance de Unnilpentium physique est une instance de atome la mesure de physique est 262 Amu(s)
(=>     (and         (instance ?ATOM Unnilquadium)         (instance ?ATOM Atom))     (measure ?ATOM         (MeasureFn 261 Amu)))	Mid-level-ontology.kif 29068-29072	Physique est une instance de Unnilquadium physique est une instance de atome la mesure de physique est 261 Amu(s)
(=>     (and         (instance ?ATOM Unnilseptium)         (instance ?ATOM Atom))     (measure ?ATOM         (MeasureFn 262 Amu)))	Mid-level-ontology.kif 29114-29118	Physique est une instance de Unnilseptium physique est une instance de atome la mesure de physique est 262 Amu(s)
(=>     (and         (instance ?ATOM Uranium)         (instance ?ATOM Atom))     (measure ?ATOM         (MeasureFn 231 Amu)))	Mid-level-ontology.kif 28852-28856	Physique est une instance de Uranium physique est une instance de atome la mesure de physique est 231 Amu(s)
(=>     (and         (instance ?ATOM Vanadium)         (instance ?ATOM Atom))     (measure ?ATOM         (MeasureFn 50.9415 Amu)))	Mid-level-ontology.kif 27627-27631	Physique est une instance de Vanadium physique est une instance de atome la mesure de physique est 50.9415 Amu(s)
(=>     (and         (instance ?ATOM Xenon)         (instance ?ATOM Atom))     (measure ?ATOM         (MeasureFn 131.30 Amu)))	Mid-level-ontology.kif 28151-28155	Physique est une instance de Xenon physique est une instance de atome la mesure de physique est 131.30 Amu(s)
(=>     (and         (instance ?ATOM Ytterbium)         (instance ?ATOM Atom))     (measure ?ATOM         (MeasureFn 173.04 Amu)))	Mid-level-ontology.kif 28457-28461	Physique est une instance de Ytterbium physique est une instance de atome la mesure de physique est 173.04 Amu(s)
(=>     (and         (instance ?ATOM Yttrium)         (instance ?ATOM Atom))     (measure ?ATOM         (MeasureFn 88.905 Amu)))	Mid-level-ontology.kif 27898-27902	Physique est une instance de Yttrium physique est une instance de atome la mesure de physique est 88.905 Amu(s)
(=>     (and         (instance ?ATOM Zinc)         (instance ?ATOM Atom))     (measure ?ATOM         (MeasureFn 65.38 Amu)))	Mid-level-ontology.kif 27747-27751	Physique est une instance de Zinc physique est une instance de atome la mesure de physique est 65.38 Amu(s)
(=>     (and         (instance ?ATOM Zirconium)         (instance ?ATOM Atom))     (measure ?ATOM         (MeasureFn 91.22 Amu)))	Mid-level-ontology.kif 27915-27919	Physique est une instance de Zirconium physique est une instance de atome la mesure de physique est 91.22 Amu(s)
(=>     (instance ?ATOM Atom)     (exists (?PROTON ?ELECTRON)         (and             (part ?PROTON ?ATOM)             (part ?ELECTRON ?ATOM)             (instance ?PROTON Proton)             (instance ?ELECTRON Electron))))	Merge.kif 1113-1120	Objet est une instance de atome objet objet objet est une partie de objet objet est une partie de objet objet est une instance de proton objet est une instance de �l�ctron
(=>     (instance ?ATOM Atom)     (forall (?NUCLEUS1 ?NUCLEUS2)         (=>             (and                 (part ?NUCLEUS1 ?ATOM)                 (part ?NUCLEUS2 ?ATOM)                 (instance ?NUCLEUS1 AtomicNucleus)                 (instance ?NUCLEUS2 AtomicNucleus))             (equal ?NUCLEUS1 ?NUCLEUS2))))	Merge.kif 1122-1131	Objet est une instance de atome objet objet objet est une partie de objet objet est une partie de objet objet est une instance de noyau atomique objet est une instance de noyau atomique objet est objet

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