| Amu
| | 分子量, 相対的分子質量, 原子質量単位, |
| appearance as argument number 1 |
|
|
| (documentation Amu ChineseLanguage "这是原子质量单位，符号：u。它是碳-12同位素原子质量的1/12。") | Merge.kif 7402-7402 | |
| (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 7400-7401 | |
| (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 7399-7399 |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Amu "amu") | domainEnglishFormat.kif 1655-1655 |
| consequent |
|
|
| (=> (and (instance ?ATOM Actinium) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 227 Amu))) |
Mid-level-ontology.kif 26906-26910 | |
| (=> (and (instance ?ATOM Aluminum) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 26.9815 Amu))) |
Mid-level-ontology.kif 25648-25652 | |
| (=> (and (instance ?ATOM Americium) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 243 Amu))) |
Mid-level-ontology.kif 27006-27010 | |
| (=> (and (instance ?ATOM Antimony) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 121.75 Amu))) |
Mid-level-ontology.kif 26244-26248 | |
| (=> (and (instance ?ATOM Argon) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 39.948 Amu))) |
Mid-level-ontology.kif 25726-25730 | |
| (=> (and (instance ?ATOM Arsenic) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 74.922 Amu))) |
Mid-level-ontology.kif 25959-25963 | |
| (=> (and (instance ?ATOM Astatine) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 210 Amu))) |
Mid-level-ontology.kif 26843-26847 | |
| (=> (and (instance ?ATOM Barium) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 137.34 Amu))) |
Mid-level-ontology.kif 26333-26337 | |
| (=> (and (instance ?ATOM Berkelium) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 247 Amu))) |
Mid-level-ontology.kif 27038-27042 | |
| (=> (and (instance ?ATOM Beryllium) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 9.0122 Amu))) |
Mid-level-ontology.kif 25497-25501 | |
| (=> (and (instance ?ATOM Bismuth) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 208.980 Amu))) |
Mid-level-ontology.kif 26810-26814 | |
| (=> (and (instance ?ATOM Boron) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 10.811 Amu))) |
Mid-level-ontology.kif 25512-25516 | |
| (=> (and (instance ?ATOM Bromine) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 79.909 Amu))) |
Mid-level-ontology.kif 25988-25992 | |
| (=> (and (instance ?ATOM Cadmium) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 112.40 Amu))) |
Mid-level-ontology.kif 26199-26203 | |
| (=> (and (instance ?ATOM Caesium) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 132.90545 Amu))) |
Mid-level-ontology.kif 26308-26312 | |
| (=> (and (instance ?ATOM Calcium) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 40.08 Amu))) |
Mid-level-ontology.kif 25755-25759 | |
| (=> (and (instance ?ATOM Californium) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 249 Amu))) |
Mid-level-ontology.kif 27054-27058 | |
| (=> (and (instance ?ATOM Carbon) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 12.01115 Amu))) |
Mid-level-ontology.kif 25530-25534 | |
| (=> (and (instance ?ATOM Cerium) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 140.12 Amu))) |
Mid-level-ontology.kif 26367-26371 | |
| (=> (and (instance ?ATOM Chlorine) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 35.453 Amu))) |
Mid-level-ontology.kif 25710-25714 | |
| (=> (and (instance ?ATOM Chromium) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 51.996 Amu))) |
Mid-level-ontology.kif 25825-25829 | |
| (=> (and (instance ?ATOM Cobalt) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 58.993 Amu))) |
Mid-level-ontology.kif 25868-25872 | |
| (=> (and (instance ?ATOM Copper) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 63.54 Amu))) |
Mid-level-ontology.kif 25897-25901 | |
| (=> (and (instance ?ATOM Curium) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 247 Amu))) |
Mid-level-ontology.kif 27022-27026 | |
| (=> (and (instance ?ATOM Dysprosium) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 162.50 Amu))) |
Mid-level-ontology.kif 26507-26511 | |
| 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 7404-7406 |
|
|
|