ComputerPort - Sigma Knowledge base Browser

appearance as argument number 1

(documentation ComputerPort ChineseLanguage "一个 ‘母’ 的电力端口其中包函几个特殊形状跟配置的 Wires 被设计用来携带传送 DigitalData 的具体信号协定。")	ComputingBrands.kif 2561-2562
(documentation ComputerPort ChineseTraditionalLanguage "一個 ‘母’的電力端口其中包函幾個特殊形狀跟配置的 Wires 被設計用來攜帶傳送 DigitalData 的具體信號協定。")	ComputingBrands.kif 2558-2559
(documentation ComputerPort EnglishLanguage "A 'female' electrical connection consisting of several Wires in a specific shape and configuration that is designed to carry a specific protocol of signals for transferring DigitalData.")	ComputingBrands.kif 2555-2557
(documentation ComputerPort JapaneseLanguage "「雌型」電気接続は複数の特殊な形と設定のWires で構成され、DigitalDataを転送する特定の信号プロトコルを伝送するように設計されている。")	ComputingBrands.kif 2564-2565
(subclass ComputerPort EngineeringComponent)	ComputingBrands.kif 2554-2554	Port is a subclass of engineering component

appearance as argument number 2

(subclass AppleDockPort ComputerPort)	ComputingBrands.kif 2881-2881	DockPort is a subclass of port
(subclass USBPort ComputerPort)	ComputingBrands.kif 2870-2870	USB port is a subclass of port
(termFormat ChineseLanguage ComputerPort "电脑端口")	ComputingBrands.kif 2569-2569	USB port is a subclass of port
(termFormat ChineseLanguage ComputerPort "端口")	ComputingBrands.kif 2574-2574	USB port is a subclass of port
(termFormat ChineseTraditionalLanguage ComputerPort "端口")	ComputingBrands.kif 2573-2573	USB port is a subclass of port
(termFormat ChineseTraditionalLanguage ComputerPort "電腦端口")	ComputingBrands.kif 2568-2568	USB port is a subclass of port
(termFormat EnglishLanguage ComputerPort "Computer Port")	ComputingBrands.kif 2567-2567	USB port is a subclass of port
(termFormat EnglishLanguage ComputerPort "port")	ComputingBrands.kif 2572-2572	USB port is a subclass of port
(termFormat JapaneseLanguage ComputerPort "コンピュータポート")	ComputingBrands.kif 2570-2570	USB port is a subclass of port
(termFormat JapaneseLanguage ComputerPort "ポート")	ComputingBrands.kif 2575-2575	USB port is a subclass of port

antecedent

ComputingBrands.kif 2577-2579

consequent

(=>
    (instance ?CP ComputerPlug)
    (hasPurpose ?CP
        (exists (?P)
            (and
                (instance ?P ComputerPort)
                (connectedEngineeringComponents ?CP ?P)))))

ComputingBrands.kif 2608-2614