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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Becquerel
Becquerel(becquerel)

appearance as argument number 1
-------------------------


s__documentation(s__Becquerel,s__ChineseLanguage,'"这是国际单位制量度放射性活度的单位。符号:Bq。它量度指定 样本物质所含的放射性活度。这是以每 SecondDuration 分解一个原子衰变所得的放射元素量。 Becquerel = s^(-1)。"')

chinese_format.kif 2568-2570
s__documentation(s__Becquerel,s__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 6833-6836
s__instance(s__CompositeUnitOfMeasure,s__Class)

s__instance(s__Becquerel,s__CompositeUnitOfMeasure)

Merge.kif 6830-6830 Becquerel is an instance of CompositeUnitOfMeasure
s__instance(s__Becquerel,s__SystemeInternationalUnit)

s__instance(s__SystemeInternationalUnit,s__Class)

Merge.kif 6831-6831 Becquerel is an instance of systeme international unit

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


s__termFormat(s__ChineseLanguage,s__Becquerel,'"贝克勒尔"')

domainEnglishFormat.kif 10460-10460
s__termFormat(s__ChineseTraditionalLanguage,s__Becquerel,'"貝克勒爾"')

domainEnglishFormat.kif 10459-10459
s__termFormat(s__EnglishLanguage,s__Becquerel,'"becquerel"')

domainEnglishFormat.kif 10458-10458

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


( ! [V__NUMBER,V__QUANTITY] :
   (((s__instance(V__NUMBER,s__RealNumber) &
         s__instance(V__QUANTITY,s__PhysicalQuantity))
       =>
       (((V__QUANTITY = s__MeasureFn(V__NUMBER,s__Becquerel))
           =>
           (s__instance(V__QUANTITY,s__TimeDependentQuantity)))))
     )
   )

Merge.kif 6838-6840


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