TreeView Knowledge Base Browser

appearance as argument number 1

(subclass ComputerPort EngineeringComponent)	ComputingBrands.kif 2554-2554	Port is a subclass of engineering component
(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	Port is a subclass of engineering component
(documentation ComputerPort ChineseTraditionalLanguage "一個 ‘母’的電力端口其中包函幾個特殊形狀跟配置的 Wires 被設計用來攜帶傳送 DigitalData 的具體信號協定。")	ComputingBrands.kif 2558-2559	Port is a subclass of engineering component
(documentation ComputerPort ChineseLanguage "一个 ‘母’ 的电力端口其中包函几个特殊形状跟配置的 Wires 被设计用来携带传送 DigitalData 的具体信号协定。")	ComputingBrands.kif 2561-2562	Port is a subclass of engineering component
(documentation ComputerPort JapaneseLanguage "「雌型」電気接続は複数の特殊な形と設定のWires で構成され、DigitalDataを転送する特定の信号プロトコルを伝送するように設計されている。")	ComputingBrands.kif 2564-2565	Port is a subclass of engineering component

appearance as argument number 2

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

antecedent

If X is an instance of port, then female is an attribute of X

consequent

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

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