| 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 6725-6726 | |
| (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 6723-6723 |
| 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 26979-26983 | |
| (=> (and (instance ?ATOM Aluminum) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 26.9815 Amu))) |
Mid-level-ontology.kif 25721-25725 | |
| (=> (and (instance ?ATOM Americium) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 243 Amu))) |
Mid-level-ontology.kif 27079-27083 | |
| (=> (and (instance ?ATOM Antimony) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 121.75 Amu))) |
Mid-level-ontology.kif 26317-26321 | |
| (=> (and (instance ?ATOM Argon) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 39.948 Amu))) |
Mid-level-ontology.kif 25799-25803 | |
| (=> (and (instance ?ATOM Arsenic) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 74.922 Amu))) |
Mid-level-ontology.kif 26032-26036 | |
| (=> (and (instance ?ATOM Astatine) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 210 Amu))) |
Mid-level-ontology.kif 26916-26920 | |
| (=> (and (instance ?ATOM Barium) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 137.34 Amu))) |
Mid-level-ontology.kif 26406-26410 | |
| (=> (and (instance ?ATOM Berkelium) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 247 Amu))) |
Mid-level-ontology.kif 27111-27115 | |
| (=> (and (instance ?ATOM Beryllium) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 9.0122 Amu))) |
Mid-level-ontology.kif 25570-25574 | |
| (=> (and (instance ?ATOM Bismuth) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 208.980 Amu))) |
Mid-level-ontology.kif 26883-26887 | |
| (=> (and (instance ?ATOM Boron) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 10.811 Amu))) |
Mid-level-ontology.kif 25585-25589 | |
| (=> (and (instance ?ATOM Bromine) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 79.909 Amu))) |
Mid-level-ontology.kif 26061-26065 | |
| (=> (and (instance ?ATOM Cadmium) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 112.40 Amu))) |
Mid-level-ontology.kif 26272-26276 | |
| (=> (and (instance ?ATOM Caesium) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 132.90545 Amu))) |
Mid-level-ontology.kif 26381-26385 | |
| (=> (and (instance ?ATOM Calcium) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 40.08 Amu))) |
Mid-level-ontology.kif 25828-25832 | |
| (=> (and (instance ?ATOM Californium) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 249 Amu))) |
Mid-level-ontology.kif 27127-27131 | |
| (=> (and (instance ?ATOM Carbon) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 12.01115 Amu))) |
Mid-level-ontology.kif 25603-25607 | |
| (=> (and (instance ?ATOM Cerium) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 140.12 Amu))) |
Mid-level-ontology.kif 26440-26444 | |
| (=> (and (instance ?ATOM Chlorine) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 35.453 Amu))) |
Mid-level-ontology.kif 25783-25787 | |
| (=> (and (instance ?ATOM Chromium) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 51.996 Amu))) |
Mid-level-ontology.kif 25898-25902 | |
| (=> (and (instance ?ATOM Cobalt) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 58.993 Amu))) |
Mid-level-ontology.kif 25941-25945 | |
| (=> (and (instance ?ATOM Copper) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 63.54 Amu))) |
Mid-level-ontology.kif 25970-25974 | |
| (=> (and (instance ?ATOM Curium) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 247 Amu))) |
Mid-level-ontology.kif 27095-27099 | |
| (=> (and (instance ?ATOM Dysprosium) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 162.50 Amu))) |
Mid-level-ontology.kif 26580-26584 | |
| 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 |
|
|
|