Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| Weber(weber) |
| appearance as argument number 1 |
|
| (instance Weber CompositeUnitOfMeasure) | Merge.kif 7090-7090 | Weber is an instance of composite unit of measure |
| (instance Weber SystemeInternationalUnit) | Merge.kif 7091-7091 | Weber is an instance of systeme international unit |
| (documentation Weber EnglishLanguage "SI magnetic flux measure. Symbol: Wb. It is the magnetic flux which, linking a circuit of one turn, produces in it an electromotive force of 1 Volt as it is reduced to zero at a uniform rate in 1 SecondDuration. Weber = V*s = m^2*kg*s^(-2)*A^(-1).") | Merge.kif 7093-7096 | Weber is an instance of systeme international unit |
| appearance as argument number 2 |
|
|
|