| No TPTP formula. May not be expressible in strict first order. | Communications.kif 119-119 | CommunicationSatellite e' uma sub-classe de ArtificialSatellite |
| No TPTP formula. May not be expressible in strict first order. | Communications.kif 120-120 | CommunicationSatellite e' uma sub-classe de CommunicationDevice |
| No TPTP formula. May not be expressible in strict first order. | Communications.kif 153-153 | Eutelsat e' uma sub-classe de CommunicationSatellite |
| No TPTP formula. May not be expressible in strict first order. | Communications.kif 157-157 | Inmarsat e' uma sub-classe de CommunicationSatellite |
| No TPTP formula. May not be expressible in strict first order. | Communications.kif 161-161 | Intelsat e' uma sub-classe de CommunicationSatellite |
| No TPTP formula. May not be expressible in strict first order. | Communications.kif 165-165 | Intersputnik e' uma sub-classe de CommunicationSatellite |
| No TPTP formula. May not be expressible in strict first order. | Communications.kif 169-169 | Orbita e' uma sub-classe de CommunicationSatellite |
|
|