(subclass ComputerPort EngineeringComponent) | ComputingBrands.kif 2554-2554 | ComputerPort est une sous-classe de composant d'un appareil |
(subclass USBPort ComputerPort) | ComputingBrands.kif 2870-2870 | USBPort est une sous-classe de ComputerPort |
(subclass AppleDockPort ComputerPort) | ComputingBrands.kif 2881-2881 | AppleDockPort est une sous-classe de ComputerPort |