Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
  Becquerel
|
|
|
| appearance as argument number 1 |
|
|
| (instance Becquerel CompositeUnitOfMeasure) | Merge.kif 7159-7159 | Becquerel is an instance of composite unit of measure |
| (instance Becquerel SystemeInternationalUnit) | Merge.kif 7160-7160 | Becquerel is an instance of systeme international unit |
| (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 7162-7165 | Becquerel is an instance of systeme international unit |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (equal ?QUANTITY (MeasureFn ?NUMBER Becquerel)) (instance ?QUANTITY TimeDependentQuantity)) |
Merge.kif 7167-7169 | If equal X and Y becquerel(s), then X is an instance of time dependent quantity |
|