partial function electricalResistivity input ThermodynamicState state "Thermodynamic state record"; output SI.Resistivity rho_e "Electrical resistivity"; end electricalResistivity;