|
|
  Amu
|
|
|
| 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 7134-7135 | |
| (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 10406-10406 | |
| (externalImage Amu "http://upload.wikimedia.org/math/b/1/3/b1393c3c457066c176cea4157a227411.png") | pictureList.kif 9884-9884 | |
| (instance Amu UnitOfMass) | Merge.kif 7132-7132 |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Amu "amu") | domainEnglishFormat.kif 7326-7326 | |
| (termFormat ChineseTraditionalLanguage Amu "amu") | domainEnglishFormat.kif 7325-7325 | |
| (termFormat EnglishLanguage Amu "amu") | domainEnglishFormat.kif 7324-7324 |
| consequent |
|
|
| (=> (and (instance ?ATOM Actinium) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 227 Amu))) |
Mid-level-ontology.kif 28713-28717 | |
| (=> (and (instance ?ATOM Aluminum) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 26.9815 Amu))) |
Mid-level-ontology.kif 27379-27383 | |
| (=> (and (instance ?ATOM Americium) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 243 Amu))) |
Mid-level-ontology.kif 28819-28823 | |
| (=> (and (instance ?ATOM Antimony) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 121.75 Amu))) |
Mid-level-ontology.kif 28013-28017 | |
| (=> (and (instance ?ATOM Argon) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 39.948 Amu))) |
Mid-level-ontology.kif 27462-27466 | |
| (=> (and (instance ?ATOM Arsenic) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 74.922 Amu))) |
Mid-level-ontology.kif 27710-27714 | |
| (=> (and (instance ?ATOM Astatine) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 210 Amu))) |
Mid-level-ontology.kif 28646-28650 | |
| (=> (and (instance ?ATOM Barium) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 137.34 Amu))) |
Mid-level-ontology.kif 28107-28111 | |
| (=> (and (instance ?ATOM Berkelium) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 247 Amu))) |
Mid-level-ontology.kif 28853-28857 | |
| (=> (and (instance ?ATOM Beryllium) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 9.0122 Amu))) |
Mid-level-ontology.kif 27219-27223 | |
| (=> (and (instance ?ATOM Bismuth) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 208.980 Amu))) |
Mid-level-ontology.kif 28611-28615 | |
| (=> (and (instance ?ATOM Boron) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 10.811 Amu))) |
Mid-level-ontology.kif 27235-27239 | |
| (=> (and (instance ?ATOM Bromine) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 79.909 Amu))) |
Mid-level-ontology.kif 27741-27745 | |
| (=> (and (instance ?ATOM Cadmium) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 112.40 Amu))) |
Mid-level-ontology.kif 27965-27969 | |
| (=> (and (instance ?ATOM Caesium) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 132.90545 Amu))) |
Mid-level-ontology.kif 28081-28085 | |
| (=> (and (instance ?ATOM Calcium) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 40.08 Amu))) |
Mid-level-ontology.kif 27493-27497 | |
| (=> (and (instance ?ATOM Californium) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 249 Amu))) |
Mid-level-ontology.kif 28870-28874 | |
| (=> (and (instance ?ATOM Carbon) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 12.01115 Amu))) |
Mid-level-ontology.kif 27254-27258 | |
| (=> (and (instance ?ATOM Cerium) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 140.12 Amu))) |
Mid-level-ontology.kif 28143-28147 | |
| (=> (and (instance ?ATOM Chlorine) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 35.453 Amu))) |
Mid-level-ontology.kif 27445-27449 | |
| (=> (and (instance ?ATOM Chromium) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 51.996 Amu))) |
Mid-level-ontology.kif 27567-27571 | |
| (=> (and (instance ?ATOM Cobalt) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 58.993 Amu))) |
Mid-level-ontology.kif 27613-27617 | |
| (=> (and (instance ?ATOM Copper) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 63.54 Amu))) |
Mid-level-ontology.kif 27644-27648 | |
| (=> (and (instance ?ATOM Curium) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 247 Amu))) |
Mid-level-ontology.kif 28836-28840 | |
| (=> (and (instance ?ATOM Dysprosium) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 162.50 Amu))) |
Mid-level-ontology.kif 28291-28295 | |
| 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 7137-7139 |
|
|
|
