Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  Becquerel

Sigma KEE - Becquerel
Becquerel(becquerel)

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 7043-7046
(documentation Becquerel JapaneseLanguage "SI放射能測定。シンボル: Bq。これは、物質の所定のサン プルに含まれる放射能の量を測定する。それは、SecondDuration ごとに1つの原子崩壊がある放射性元素の 量である。Becquerel = s^(-1)。") japanese_format.kif 1273-1275
(instance Becquerel CompositeUnitOfMeasure) Merge.kif 7040-7040 Becquerel is an instance of composite unit of measure
(instance Becquerel SystemeInternationalUnit) Merge.kif 7041-7041 Becquerel is an instance of systeme international unit

appearance as argument number 2
-------------------------


(termFormat ChineseLanguage Becquerel "贝克勒尔") domainEnglishFormat.kif 10451-10451
(termFormat ChineseTraditionalLanguage Becquerel "貝克勒爾") domainEnglishFormat.kif 10450-10450
(termFormat EnglishLanguage Becquerel "becquerel") domainEnglishFormat.kif 10449-10449

antecedent
-------------------------


(=>
    (equal ?QUANTITY
        (MeasureFn ?NUMBER Becquerel))
    (instance ?QUANTITY TimeDependentQuantity))
Merge.kif 7048-7050


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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