| (subclass ComputerPort EngineeringComponent) | ComputingBrands.kif 2554-2554 | ポート は エンジニアリング部品 の subclass では %n |
| (subclass USBPort ComputerPort) | ComputingBrands.kif 2870-2870 | USBPort は ポート の subclass では %n |
| (subclass AppleDockPort ComputerPort) | ComputingBrands.kif 2881-2881 | DockPort は ポート の subclass では %n |
|
|