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 7158-7159
(documentation Amu JapaneseLanguage "原子質量単位。シンボル:u。これは、炭素12同位素の原子の12 番目の部分の質量である。")	japanese_format.kif 1293-1294
(externalImage Amu "http://upload.wikimedia.org/math/2/7/6/276c8703f9011a51436334c83025181b.png")	pictureList.kif 10402-10402
(externalImage Amu "http://upload.wikimedia.org/math/b/1/3/b1393c3c457066c176cea4157a227411.png")	pictureList.kif 9883-9883
(instance Amu UnitOfMass)	Merge.kif 7156-7156	Amu は UnitOfMass の instance では

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 30733-30737	物理は Actinium の instance では物理は原子の instance では物理の measure は 227 の Amu(s) では
(=> (and (instance ?ATOM Aluminum) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 26.9815 Amu)))	Mid-level-ontology.kif 29399-29403	物理は Aluminum の instance では物理は原子の instance では物理の measure は 26.9815 の Amu(s) では
(=> (and (instance ?ATOM Americium) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 243 Amu)))	Mid-level-ontology.kif 30839-30843	物理は Americium の instance では物理は原子の instance では物理の measure は 243 の Amu(s) では
(=> (and (instance ?ATOM Antimony) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 121.75 Amu)))	Mid-level-ontology.kif 30033-30037	物理は Antimony の instance では物理は原子の instance では物理の measure は 121.75 の Amu(s) では
(=> (and (instance ?ATOM Argon) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 39.948 Amu)))	Mid-level-ontology.kif 29482-29486	物理は Argon の instance では物理は原子の instance では物理の measure は 39.948 の Amu(s) では
(=> (and (instance ?ATOM Arsenic) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 74.922 Amu)))	Mid-level-ontology.kif 29730-29734	物理は Arsenic の instance では物理は原子の instance では物理の measure は 74.922 の Amu(s) では
(=> (and (instance ?ATOM Astatine) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 210 Amu)))	Mid-level-ontology.kif 30666-30670	物理は Astatine の instance では物理は原子の instance では物理の measure は 210 の Amu(s) では
(=> (and (instance ?ATOM Barium) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 137.34 Amu)))	Mid-level-ontology.kif 30127-30131	物理は Barium の instance では物理は原子の instance では物理の measure は 137.34 の Amu(s) では
(=> (and (instance ?ATOM Berkelium) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 247 Amu)))	Mid-level-ontology.kif 30873-30877	物理は Berkelium の instance では物理は原子の instance では物理の measure は 247 の Amu(s) では
(=> (and (instance ?ATOM Beryllium) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 9.0122 Amu)))	Mid-level-ontology.kif 29239-29243	物理は Beryllium の instance では物理は原子の instance では物理の measure は 9.0122 の Amu(s) では
(=> (and (instance ?ATOM Bismuth) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 208.980 Amu)))	Mid-level-ontology.kif 30631-30635	物理は Bismuth の instance では物理は原子の instance では物理の measure は 208.980 の Amu(s) では
(=> (and (instance ?ATOM Boron) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 10.811 Amu)))	Mid-level-ontology.kif 29255-29259	物理は Boron の instance では物理は原子の instance では物理の measure は 10.811 の Amu(s) では
(=> (and (instance ?ATOM Bromine) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 79.909 Amu)))	Mid-level-ontology.kif 29761-29765	物理は Bromine の instance では物理は原子の instance では物理の measure は 79.909 の Amu(s) では
(=> (and (instance ?ATOM Cadmium) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 112.40 Amu)))	Mid-level-ontology.kif 29985-29989	物理は Cadmium の instance では物理は原子の instance では物理の measure は 112.40 の Amu(s) では
(=> (and (instance ?ATOM Caesium) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 132.90545 Amu)))	Mid-level-ontology.kif 30101-30105	物理は Caesium の instance では物理は原子の instance では物理の measure は 132.90545 の Amu(s) では
(=> (and (instance ?ATOM Calcium) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 40.08 Amu)))	Mid-level-ontology.kif 29513-29517	物理は Calcium の instance では物理は原子の instance では物理の measure は 40.08 の Amu(s) では
(=> (and (instance ?ATOM Californium) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 249 Amu)))	Mid-level-ontology.kif 30890-30894	物理は Californium の instance では物理は原子の instance では物理の measure は 249 の Amu(s) では
(=> (and (instance ?ATOM Carbon) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 12.01115 Amu)))	Mid-level-ontology.kif 29274-29278	物理は Carbon の instance では物理は原子の instance では物理の measure は 12.01115 の Amu(s) では
(=> (and (instance ?ATOM Cerium) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 140.12 Amu)))	Mid-level-ontology.kif 30163-30167	物理は Cerium の instance では物理は原子の instance では物理の measure は 140.12 の Amu(s) では
(=> (and (instance ?ATOM Chlorine) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 35.453 Amu)))	Mid-level-ontology.kif 29465-29469	物理は Chlorine の instance では物理は原子の instance では物理の measure は 35.453 の Amu(s) では
(=> (and (instance ?ATOM Chromium) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 51.996 Amu)))	Mid-level-ontology.kif 29587-29591	物理は Chromium の instance では物理は原子の instance では物理の measure は 51.996 の Amu(s) では
(=> (and (instance ?ATOM Cobalt) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 58.993 Amu)))	Mid-level-ontology.kif 29633-29637	物理は Cobalt の instance では物理は原子の instance では物理の measure は 58.993 の Amu(s) では
(=> (and (instance ?ATOM Copper) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 63.54 Amu)))	Mid-level-ontology.kif 29664-29668	物理は Copper の instance では物理は原子の instance では物理の measure は 63.54 の Amu(s) では
(=> (and (instance ?ATOM Curium) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 247 Amu)))	Mid-level-ontology.kif 30856-30860	物理は Curium の instance では物理は原子の instance では物理の measure は 247 の Amu(s) では
(=> (and (instance ?ATOM Dysprosium) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 162.50 Amu)))	Mid-level-ontology.kif 30311-30315	物理は Dysprosium の instance では物理は原子の instance では物理の measure は 162.50 の Amu(s) では

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

statement

(equal
    (MeasureFn ?NUMBER Amu)
    (MeasureFn
        (MultiplicationFn ?NUMBER
            (DivisionFn
                (DivisionFn
                    (DivisionFn
                        (DivisionFn 1.6605402 1000000.0) 1000000.0) 1000000.0) 1000000.0)) Gram))

Merge.kif 7162-7172

実数の Amu(s) は実数 + 1.6605402 + 1000000.0 + 1000000.0 + 1000000.0 + 1000000.0 の Gram(s) と equal では

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 3.0 is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: