(subclass ComputerCable EngineeringComponent) | ComputingBrands.kif 2706-2706 | ComputerCable est une sous-classe de composant d'un appareil |
(subclass USBCable ComputerCable) | ComputingBrands.kif 2857-2857 | USBCable est une sous-classe de ComputerCable |