(subclass CommunicationSatellite ArtificialSatellite) | Communications.kif 119-119 | CommunicationSatellite è una sottoclasse di ArtificialSatellite |
(subclass CommunicationSatellite CommunicationDevice) | Communications.kif 120-120 | CommunicationSatellite è una sottoclasse di CommunicationDevice |
(subclass Eutelsat CommunicationSatellite) | Communications.kif 153-153 | Eutelsat è una sottoclasse di CommunicationSatellite |
(subclass Inmarsat CommunicationSatellite) | Communications.kif 157-157 | Inmarsat è una sottoclasse di CommunicationSatellite |
(subclass Intelsat CommunicationSatellite) | Communications.kif 161-161 | Intelsat è una sottoclasse di CommunicationSatellite |
(subclass Intersputnik CommunicationSatellite) | Communications.kif 165-165 | Intersputnik è una sottoclasse di CommunicationSatellite |
(subclass Orbita CommunicationSatellite) | Communications.kif 169-169 | Orbita è una sottoclasse di CommunicationSatellite |