(subclass ComputerPort EngineeringComponent) | ComputingBrands.kif 2554-2554 | 端口 是 工程组件 的 subclass |
(subclass USBPort ComputerPort) | ComputingBrands.kif 2870-2870 | USBPort 是 端口 的 subclass |
(subclass AppleDockPort ComputerPort) | ComputingBrands.kif 2881-2881 | 插槽 是 端口 的 subclass |