Assertion list
internal energy (subgroup of energy ) → IsA
Results from Ascent++: 3
internal energy → IsA → a state function 0.77
internal energy → IsA → the energy 0.68
internal energy → IsA → total energy 0.32