Assertion list
industrial robot (subgroup of robot ) → IsA
Results from Ascent++: 2
industrial robot → IsA → machine 0.33
industrial robot → IsA → mere automatons 0.16