| appearance as argument number 1 |
|
| (documentation Becquerel ChineseLanguage "这是国际单位制量度放射性活度的单位。符号：Bq。它量度指定 样本物质所含的放射性活度。这是以每 SecondDuration 分解一个原子衰变所得的放射元素量。 Becquerel = s^(-1)。") | chinese_format.kif 2568-2570 | |
| (documentation Becquerel EnglishLanguage "SI radioactivity measure. Symbol: Bq. It measures the amount of radioactivity contained in a given sample of matter. It is that quantity of a radioactive element in which there is one atomic disintegration per SecondDuration. Becquerel = s^(-1).") | Merge.kif 7034-7037 | |
| (documentation Becquerel JapaneseLanguage "SI放射能測定。シンボル: Bq。これは、物質の所定のサン プルに含まれる放射能の量を測定する。それは、SecondDuration ごとに1つの原子崩壊がある放射性元素の 量である。Becquerel = s^(-1)。") | japanese_format.kif 1273-1275 | |
| (instance Becquerel CompositeUnitOfMeasure) | Merge.kif 7031-7031 | Becquerel is an instance of composite unit of measure |
| (instance Becquerel SystemeInternationalUnit) | Merge.kif 7032-7032 | Becquerel is an instance of systeme international unit |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Becquerel "贝克勒尔") | domainEnglishFormat.kif 10464-10464 | |
| (termFormat ChineseTraditionalLanguage Becquerel "貝克勒爾") | domainEnglishFormat.kif 10463-10463 | |
| (termFormat EnglishLanguage Becquerel "becquerel") | domainEnglishFormat.kif 10462-10462 |
| antecedent |
|
|
| (=> (equal ?QUANTITY (MeasureFn ?NUMBER Becquerel)) (instance ?QUANTITY TimeDependentQuantity)) |
Merge.kif 7039-7041 |
|
|
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