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