USBCable - Sigma Knowledge base Browser

appearance as argument number 1

(subclass USBCable ComputerCable)	ComputingBrands.kif 2768-2768	USB cable is a subclass of cable
(documentation USBCable EnglishLanguage "A Cable that connects Computers and Devices using the USBProtocol.")	ComputingBrands.kif 2769-2770	USB cable is a subclass of cable
(documentation USBCable ChineseTraditionalLanguage "Cable 利用 USBProtocol 連接 Computers 跟 Devices 。")	ComputingBrands.kif 2771-2771	USB cable is a subclass of cable
(documentation USBCable ChineseLanguage "Cable 利用 USBProtocol 连接 Computers 跟 Devices 。")	ComputingBrands.kif 2772-2772	USB cable is a subclass of cable
(documentation USBCable JapaneseLanguage "CableはUSBProtocolを使用するとComputersと Devicesを接続する。")	ComputingBrands.kif 2773-2774	USB cable is a subclass of cable

appearance as argument number 2

(termFormat EnglishLanguage USBCable "USB cable")	ComputingBrands.kif 2776-2776
(termFormat JapaneseLanguage USBCable "USB ケーブル")	ComputingBrands.kif 2777-2777
(protocolForConnector USBProtocol USBCable)	ComputingBrands.kif 2779-2779	protocol for connector USB and USB cable

consequent

(=>
    (instance ?U USBPort)
    (hasPurpose ?U
        (exists (?C)
            (and
                (instance ?C USBCable)
                (connectedEngineeringComponents ?C ?U)))))

If X is an instance of USB port, then X has the purpose there exists Y such that Y is an instance of USB cable and Y is connected to X