Assertion list
robotic spacecraft (subgroup of spacecraft ) → IsA
Results from Ascent++: 3
robotic spacecraft → IsA → artificial satellites 0.68
robotic spacecraft → IsA → space probes 0.63
robotic spacecraft → IsA → uncrewed spacecraft 0.25