Amu - Sigma Knowledge base Browser

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 6811-6812
(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 6809-6809	instance Amu and UnitOfMass

appearance as argument number 2

(termFormat ChineseLanguage Amu "amu")	domainEnglishFormat.kif 7333-7333
(termFormat ChineseTraditionalLanguage Amu "amu")	domainEnglishFormat.kif 7332-7332
(termFormat EnglishLanguage Amu "amu")	domainEnglishFormat.kif 7331-7331

consequent

(=> (and (instance ?ATOM Actinium) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 227 Amu)))	Mid-level-ontology.kif 26991-26995	instance Object and Actinium instance Object and Atom measure Object and MeasureFn 227 and Amu
(=> (and (instance ?ATOM Aluminum) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 26.9815 Amu)))	Mid-level-ontology.kif 25733-25737	instance Object and Aluminum instance Object and Atom measure Object and MeasureFn 26.9815 and Amu
(=> (and (instance ?ATOM Americium) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 243 Amu)))	Mid-level-ontology.kif 27091-27095	instance Object and Americium instance Object and Atom measure Object and MeasureFn 243 and Amu
(=> (and (instance ?ATOM Antimony) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 121.75 Amu)))	Mid-level-ontology.kif 26329-26333	instance Object and Antimony instance Object and Atom measure Object and MeasureFn 121.75 and Amu
(=> (and (instance ?ATOM Argon) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 39.948 Amu)))	Mid-level-ontology.kif 25811-25815	instance Object and Argon instance Object and Atom measure Object and MeasureFn 39.948 and Amu
(=> (and (instance ?ATOM Arsenic) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 74.922 Amu)))	Mid-level-ontology.kif 26044-26048	instance Object and Arsenic instance Object and Atom measure Object and MeasureFn 74.922 and Amu
(=> (and (instance ?ATOM Astatine) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 210 Amu)))	Mid-level-ontology.kif 26928-26932	instance Object and Astatine instance Object and Atom measure Object and MeasureFn 210 and Amu
(=> (and (instance ?ATOM Barium) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 137.34 Amu)))	Mid-level-ontology.kif 26418-26422	instance Object and Barium instance Object and Atom measure Object and MeasureFn 137.34 and Amu
(=> (and (instance ?ATOM Berkelium) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 247 Amu)))	Mid-level-ontology.kif 27123-27127	instance Object and Berkelium instance Object and Atom measure Object and MeasureFn 247 and Amu
(=> (and (instance ?ATOM Beryllium) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 9.0122 Amu)))	Mid-level-ontology.kif 25582-25586	instance Object and Beryllium instance Object and Atom measure Object and MeasureFn 9.0122 and Amu
(=> (and (instance ?ATOM Bismuth) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 208.980 Amu)))	Mid-level-ontology.kif 26895-26899	instance Object and Bismuth instance Object and Atom measure Object and MeasureFn 208.980 and Amu
(=> (and (instance ?ATOM Boron) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 10.811 Amu)))	Mid-level-ontology.kif 25597-25601	instance Object and Boron instance Object and Atom measure Object and MeasureFn 10.811 and Amu
(=> (and (instance ?ATOM Bromine) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 79.909 Amu)))	Mid-level-ontology.kif 26073-26077	instance Object and Bromine instance Object and Atom measure Object and MeasureFn 79.909 and Amu
(=> (and (instance ?ATOM Cadmium) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 112.40 Amu)))	Mid-level-ontology.kif 26284-26288	instance Object and Cadmium instance Object and Atom measure Object and MeasureFn 112.40 and Amu
(=> (and (instance ?ATOM Caesium) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 132.90545 Amu)))	Mid-level-ontology.kif 26393-26397	instance Object and Caesium instance Object and Atom measure Object and MeasureFn 132.90545 and Amu
(=> (and (instance ?ATOM Calcium) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 40.08 Amu)))	Mid-level-ontology.kif 25840-25844	instance Object and Calcium instance Object and Atom measure Object and MeasureFn 40.08 and Amu
(=> (and (instance ?ATOM Californium) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 249 Amu)))	Mid-level-ontology.kif 27139-27143	instance Object and Californium instance Object and Atom measure Object and MeasureFn 249 and Amu
(=> (and (instance ?ATOM Carbon) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 12.01115 Amu)))	Mid-level-ontology.kif 25615-25619	instance Object and Carbon instance Object and Atom measure Object and MeasureFn 12.01115 and Amu
(=> (and (instance ?ATOM Cerium) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 140.12 Amu)))	Mid-level-ontology.kif 26452-26456	instance Object and Cerium instance Object and Atom measure Object and MeasureFn 140.12 and Amu
(=> (and (instance ?ATOM Chlorine) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 35.453 Amu)))	Mid-level-ontology.kif 25795-25799	instance Object and Chlorine instance Object and Atom measure Object and MeasureFn 35.453 and Amu
(=> (and (instance ?ATOM Chromium) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 51.996 Amu)))	Mid-level-ontology.kif 25910-25914	instance Object and Chromium instance Object and Atom measure Object and MeasureFn 51.996 and Amu
(=> (and (instance ?ATOM Cobalt) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 58.993 Amu)))	Mid-level-ontology.kif 25953-25957	instance Object and Cobalt instance Object and Atom measure Object and MeasureFn 58.993 and Amu
(=> (and (instance ?ATOM Copper) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 63.54 Amu)))	Mid-level-ontology.kif 25982-25986	instance Object and Copper instance Object and Atom measure Object and MeasureFn 63.54 and Amu
(=> (and (instance ?ATOM Curium) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 247 Amu)))	Mid-level-ontology.kif 27107-27111	instance Object and Curium instance Object and Atom measure Object and MeasureFn 247 and Amu
(=> (and (instance ?ATOM Dysprosium) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 162.50 Amu)))	Mid-level-ontology.kif 26592-26596	instance Object and Dysprosium instance Object and Atom measure Object and MeasureFn 162.50 and Amu

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 6814-6816

equal MeasureFn RealNumber and Amu and MeasureFn MultiplicationFn RealNumber and 1.6605402E-24 and Gram

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

KB Term:			Term intersection

English Word: