(subclass SatellitePhone ReceiverDevice) | Mid-level-ontology.kif 25069-25069 | SatellitePhone est une sous-classe de ReceiverDevice |
(subclass SatellitePhone Telephone) | Mid-level-ontology.kif 25070-25070 | SatellitePhone est une sous-classe de Telephone |