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

Formal Language: 



KB Term:  Term intersection
English Word: 

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

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


(documentation Amu ChineseLanguage "这是原子质量单位,符号:u。它是碳-12同位素原子质量的1/12。") Merge.kif 7415-7415
(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 7413-7414
(externalImage Amu "http://upload.wikimedia.org/math/2/7/6/276c8703f9011a51436334c83025181b.png") pictureList.kif 10425-10425 "http://upload.wikimedia.org/math/2/7/6/276c8703f9011a51436334c83025181b.png" is a URL depicting amu
(externalImage Amu "http://upload.wikimedia.org/math/b/1/3/b1393c3c457066c176cea4157a227411.png") pictureList.kif 9902-9902 "http://upload.wikimedia.org/math/b/1/3/b1393c3c457066c176cea4157a227411.png" is a URL depicting amu
(instance Amu UnitOfMass) Merge.kif 7412-7412 Amu is an instance of UnitOfMass

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


(termFormat EnglishLanguage Amu "amu") domainEnglishFormat.kif 1655-1655 "amu" is the printable form of amu in english language

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


(=>
    (and
        (instance ?ATOM Actinium)
        (instance ?ATOM Atom))
    (measure ?ATOM
        (MeasureFn 227 Amu)))
Mid-level-ontology.kif 26986-26990
(=>
    (and
        (instance ?ATOM Aluminum)
        (instance ?ATOM Atom))
    (measure ?ATOM
        (MeasureFn 26.9815 Amu)))
Mid-level-ontology.kif 25728-25732
(=>
    (and
        (instance ?ATOM Americium)
        (instance ?ATOM Atom))
    (measure ?ATOM
        (MeasureFn 243 Amu)))
Mid-level-ontology.kif 27086-27090
(=>
    (and
        (instance ?ATOM Antimony)
        (instance ?ATOM Atom))
    (measure ?ATOM
        (MeasureFn 121.75 Amu)))
Mid-level-ontology.kif 26324-26328
(=>
    (and
        (instance ?ATOM Argon)
        (instance ?ATOM Atom))
    (measure ?ATOM
        (MeasureFn 39.948 Amu)))
Mid-level-ontology.kif 25806-25810
(=>
    (and
        (instance ?ATOM Arsenic)
        (instance ?ATOM Atom))
    (measure ?ATOM
        (MeasureFn 74.922 Amu)))
Mid-level-ontology.kif 26039-26043
(=>
    (and
        (instance ?ATOM Astatine)
        (instance ?ATOM Atom))
    (measure ?ATOM
        (MeasureFn 210 Amu)))
Mid-level-ontology.kif 26923-26927
(=>
    (and
        (instance ?ATOM Barium)
        (instance ?ATOM Atom))
    (measure ?ATOM
        (MeasureFn 137.34 Amu)))
Mid-level-ontology.kif 26413-26417
(=>
    (and
        (instance ?ATOM Berkelium)
        (instance ?ATOM Atom))
    (measure ?ATOM
        (MeasureFn 247 Amu)))
Mid-level-ontology.kif 27118-27122
(=>
    (and
        (instance ?ATOM Beryllium)
        (instance ?ATOM Atom))
    (measure ?ATOM
        (MeasureFn 9.0122 Amu)))
Mid-level-ontology.kif 25577-25581
(=>
    (and
        (instance ?ATOM Bismuth)
        (instance ?ATOM Atom))
    (measure ?ATOM
        (MeasureFn 208.980 Amu)))
Mid-level-ontology.kif 26890-26894
(=>
    (and
        (instance ?ATOM Boron)
        (instance ?ATOM Atom))
    (measure ?ATOM
        (MeasureFn 10.811 Amu)))
Mid-level-ontology.kif 25592-25596
(=>
    (and
        (instance ?ATOM Bromine)
        (instance ?ATOM Atom))
    (measure ?ATOM
        (MeasureFn 79.909 Amu)))
Mid-level-ontology.kif 26068-26072
(=>
    (and
        (instance ?ATOM Cadmium)
        (instance ?ATOM Atom))
    (measure ?ATOM
        (MeasureFn 112.40 Amu)))
Mid-level-ontology.kif 26279-26283
(=>
    (and
        (instance ?ATOM Caesium)
        (instance ?ATOM Atom))
    (measure ?ATOM
        (MeasureFn 132.90545 Amu)))
Mid-level-ontology.kif 26388-26392
(=>
    (and
        (instance ?ATOM Calcium)
        (instance ?ATOM Atom))
    (measure ?ATOM
        (MeasureFn 40.08 Amu)))
Mid-level-ontology.kif 25835-25839
(=>
    (and
        (instance ?ATOM Californium)
        (instance ?ATOM Atom))
    (measure ?ATOM
        (MeasureFn 249 Amu)))
Mid-level-ontology.kif 27134-27138
(=>
    (and
        (instance ?ATOM Carbon)
        (instance ?ATOM Atom))
    (measure ?ATOM
        (MeasureFn 12.01115 Amu)))
Mid-level-ontology.kif 25610-25614
(=>
    (and
        (instance ?ATOM Cerium)
        (instance ?ATOM Atom))
    (measure ?ATOM
        (MeasureFn 140.12 Amu)))
Mid-level-ontology.kif 26447-26451
(=>
    (and
        (instance ?ATOM Chlorine)
        (instance ?ATOM Atom))
    (measure ?ATOM
        (MeasureFn 35.453 Amu)))
Mid-level-ontology.kif 25790-25794
(=>
    (and
        (instance ?ATOM Chromium)
        (instance ?ATOM Atom))
    (measure ?ATOM
        (MeasureFn 51.996 Amu)))
Mid-level-ontology.kif 25905-25909
(=>
    (and
        (instance ?ATOM Cobalt)
        (instance ?ATOM Atom))
    (measure ?ATOM
        (MeasureFn 58.993 Amu)))
Mid-level-ontology.kif 25948-25952
(=>
    (and
        (instance ?ATOM Copper)
        (instance ?ATOM Atom))
    (measure ?ATOM
        (MeasureFn 63.54 Amu)))
Mid-level-ontology.kif 25977-25981
(=>
    (and
        (instance ?ATOM Curium)
        (instance ?ATOM Atom))
    (measure ?ATOM
        (MeasureFn 247 Amu)))
Mid-level-ontology.kif 27102-27106
(=>
    (and
        (instance ?ATOM Dysprosium)
        (instance ?ATOM Atom))
    (measure ?ATOM
        (MeasureFn 162.50 Amu)))
Mid-level-ontology.kif 26587-26591

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 7417-7419 A real number amu(s) is equal to the real number and 1.6605402E-24 gram(s)


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



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners