Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  Amu

Sigma KEE - Amu
Amu(amu)
atomic_mass_unit, molecular_weight, relative_molecular_mass

appearance as argument number 1
-------------------------


(documentation Amu ChineseLanguage "这是原子质量单位,符号:u。它是碳-12同位素原子质量的1/12。") chinese_format.kif 2586-2586
(documentation Amu EnglishLanguage "Atomic mass unit. Symbol: u. It is the mass of the twelfth part of an atom of the Carbon 12 isotope.") Merge.kif 6857-6858
(externalImage Amu "http://upload.wikimedia.org/math/2/7/6/276c8703f9011a51436334c83025181b.png") pictureList.kif 10425-10425
(externalImage Amu "http://upload.wikimedia.org/math/b/1/3/b1393c3c457066c176cea4157a227411.png") pictureList.kif 9902-9902
(instance Amu UnitOfMass) Merge.kif 6855-6855 Amu is an instance of UnitOfMass

appearance as argument number 2
-------------------------


(termFormat ChineseLanguage Amu "amu") domainEnglishFormat.kif 7337-7337
(termFormat ChineseTraditionalLanguage Amu "amu") domainEnglishFormat.kif 7336-7336
(termFormat EnglishLanguage Amu "amu") domainEnglishFormat.kif 7335-7335

consequent
-------------------------


(=>
    (and
        (instance ?ATOM Actinium)
        (instance ?ATOM Atom))
    (measure ?ATOM
        (MeasureFn 227 Amu)))
Mid-level-ontology.kif 27024-27028
(=>
    (and
        (instance ?ATOM Aluminum)
        (instance ?ATOM Atom))
    (measure ?ATOM
        (MeasureFn 26.9815 Amu)))
Mid-level-ontology.kif 25766-25770
(=>
    (and
        (instance ?ATOM Americium)
        (instance ?ATOM Atom))
    (measure ?ATOM
        (MeasureFn 243 Amu)))
Mid-level-ontology.kif 27124-27128
(=>
    (and
        (instance ?ATOM Antimony)
        (instance ?ATOM Atom))
    (measure ?ATOM
        (MeasureFn 121.75 Amu)))
Mid-level-ontology.kif 26362-26366
(=>
    (and
        (instance ?ATOM Argon)
        (instance ?ATOM Atom))
    (measure ?ATOM
        (MeasureFn 39.948 Amu)))
Mid-level-ontology.kif 25844-25848
(=>
    (and
        (instance ?ATOM Arsenic)
        (instance ?ATOM Atom))
    (measure ?ATOM
        (MeasureFn 74.922 Amu)))
Mid-level-ontology.kif 26077-26081
(=>
    (and
        (instance ?ATOM Astatine)
        (instance ?ATOM Atom))
    (measure ?ATOM
        (MeasureFn 210 Amu)))
Mid-level-ontology.kif 26961-26965
(=>
    (and
        (instance ?ATOM Barium)
        (instance ?ATOM Atom))
    (measure ?ATOM
        (MeasureFn 137.34 Amu)))
Mid-level-ontology.kif 26451-26455
(=>
    (and
        (instance ?ATOM Berkelium)
        (instance ?ATOM Atom))
    (measure ?ATOM
        (MeasureFn 247 Amu)))
Mid-level-ontology.kif 27156-27160
(=>
    (and
        (instance ?ATOM Beryllium)
        (instance ?ATOM Atom))
    (measure ?ATOM
        (MeasureFn 9.0122 Amu)))
Mid-level-ontology.kif 25615-25619
(=>
    (and
        (instance ?ATOM Bismuth)
        (instance ?ATOM Atom))
    (measure ?ATOM
        (MeasureFn 208.980 Amu)))
Mid-level-ontology.kif 26928-26932
(=>
    (and
        (instance ?ATOM Boron)
        (instance ?ATOM Atom))
    (measure ?ATOM
        (MeasureFn 10.811 Amu)))
Mid-level-ontology.kif 25630-25634
(=>
    (and
        (instance ?ATOM Bromine)
        (instance ?ATOM Atom))
    (measure ?ATOM
        (MeasureFn 79.909 Amu)))
Mid-level-ontology.kif 26106-26110
(=>
    (and
        (instance ?ATOM Cadmium)
        (instance ?ATOM Atom))
    (measure ?ATOM
        (MeasureFn 112.40 Amu)))
Mid-level-ontology.kif 26317-26321
(=>
    (and
        (instance ?ATOM Caesium)
        (instance ?ATOM Atom))
    (measure ?ATOM
        (MeasureFn 132.90545 Amu)))
Mid-level-ontology.kif 26426-26430
(=>
    (and
        (instance ?ATOM Calcium)
        (instance ?ATOM Atom))
    (measure ?ATOM
        (MeasureFn 40.08 Amu)))
Mid-level-ontology.kif 25873-25877
(=>
    (and
        (instance ?ATOM Californium)
        (instance ?ATOM Atom))
    (measure ?ATOM
        (MeasureFn 249 Amu)))
Mid-level-ontology.kif 27172-27176
(=>
    (and
        (instance ?ATOM Carbon)
        (instance ?ATOM Atom))
    (measure ?ATOM
        (MeasureFn 12.01115 Amu)))
Mid-level-ontology.kif 25648-25652
(=>
    (and
        (instance ?ATOM Cerium)
        (instance ?ATOM Atom))
    (measure ?ATOM
        (MeasureFn 140.12 Amu)))
Mid-level-ontology.kif 26485-26489
(=>
    (and
        (instance ?ATOM Chlorine)
        (instance ?ATOM Atom))
    (measure ?ATOM
        (MeasureFn 35.453 Amu)))
Mid-level-ontology.kif 25828-25832
(=>
    (and
        (instance ?ATOM Chromium)
        (instance ?ATOM Atom))
    (measure ?ATOM
        (MeasureFn 51.996 Amu)))
Mid-level-ontology.kif 25943-25947
(=>
    (and
        (instance ?ATOM Cobalt)
        (instance ?ATOM Atom))
    (measure ?ATOM
        (MeasureFn 58.993 Amu)))
Mid-level-ontology.kif 25986-25990
(=>
    (and
        (instance ?ATOM Copper)
        (instance ?ATOM Atom))
    (measure ?ATOM
        (MeasureFn 63.54 Amu)))
Mid-level-ontology.kif 26015-26019
(=>
    (and
        (instance ?ATOM Curium)
        (instance ?ATOM Atom))
    (measure ?ATOM
        (MeasureFn 247 Amu)))
Mid-level-ontology.kif 27140-27144
(=>
    (and
        (instance ?ATOM Dysprosium)
        (instance ?ATOM Atom))
    (measure ?ATOM
        (MeasureFn 162.50 Amu)))
Mid-level-ontology.kif 26625-26629

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

statement
-------------------------


(equal
    (MeasureFn ?NUMBER Amu)
    (MeasureFn
        (MultiplicationFn ?NUMBER 1.6605402E-24) Gram))
Merge.kif 6860-6862 A real number amu(s) is equal to the real number and 1.6605402E-24 gram(s)


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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