Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| Siemens(siemens) |  | S, mho, reciprocal_ohm, siemens |
| appearance as argument number 1 |
|
|
| (instance Siemens CompositeUnitOfMeasure) | Merge.kif 7079-7079 | Siemens is an instance of composite unit of measure |
| (instance Siemens SystemeInternationalUnit) | Merge.kif 7080-7080 | Siemens is an instance of systeme international unit |
| (documentation Siemens EnglishLanguage "SI electric conductance measure. Symbol: S. In the case of direct current, the conductance in Siemens is the reciprocal of the resistance in Ohms, in the case of alternating current, it is the reciprocal of the impedance in ohms. siemens = A/ V = m^(-2)*kg(-1)*s^(3)*A^2.") | Merge.kif 7082-7086 | Siemens is an instance of systeme international unit |
| appearance as argument number 2 |
|
|
|