| (subclass CommunicationSatellite ArtificialSatellite) | Communications.kif 119-119 | CommunicationSatellite est une sous-classe de ArtificialSatellite |
| (subclass CommunicationSatellite CommunicationDevice) | Communications.kif 120-120 | CommunicationSatellite est une sous-classe de CommunicationDevice |
| (subclass Eutelsat CommunicationSatellite) | Communications.kif 153-153 | Eutelsat est une sous-classe de CommunicationSatellite |
| (subclass Inmarsat CommunicationSatellite) | Communications.kif 157-157 | Inmarsat est une sous-classe de CommunicationSatellite |
| (subclass Intelsat CommunicationSatellite) | Communications.kif 161-161 | Intelsat est une sous-classe de CommunicationSatellite |
| (subclass Intersputnik CommunicationSatellite) | Communications.kif 165-165 | Intersputnik est une sous-classe de CommunicationSatellite |
| (subclass Orbita CommunicationSatellite) | Communications.kif 169-169 | Orbita est une sous-classe de CommunicationSatellite |
|
|