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 6725-6726
(externalImage Amu "http://upload.wikimedia.org/math/2/7/6/276c8703f9011a51436334c83025181b.png")	pictureList.kif 10425-10425	externalImage Amu and "http://upload.wikimedia.org/math/2/7/6/276c8703f9011a51436334c83025181b.png"
(externalImage Amu "http://upload.wikimedia.org/math/b/1/3/b1393c3c457066c176cea4157a227411.png")	pictureList.kif 9902-9902	externalImage Amu and "http://upload.wikimedia.org/math/b/1/3/b1393c3c457066c176cea4157a227411.png"
(instance Amu UnitOfMass)	Merge.kif 6723-6723	instance Amu and UnitOfMass

appearance as argument number 2

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

consequent

(=> (and (instance ?ATOM Actinium) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 227 Amu)))	Mid-level-ontology.kif 26979-26983	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 25721-25725	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 27079-27083	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 26317-26321	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 25799-25803	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 26032-26036	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 26916-26920	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 26406-26410	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 27111-27115	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 25570-25574	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 26883-26887	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 25585-25589	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 26061-26065	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 26272-26276	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 26381-26385	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 25828-25832	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 27127-27131	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 25603-25607	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 26440-26444	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 25783-25787	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 25898-25902	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 25941-25945	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 25970-25974	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 27095-27099	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 26580-26584	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 6728-6730

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: