TreeView Knowledge Base Browser

appearance as argument number 1

(documentation ComputerProtocol ChineseLanguage "一套规格用来完成些对于在两个(或更多) ComputerPrograms 之间传递的序列跟档案格式之任务")	ComputingBrands.kif 1725-1726
(documentation ComputerProtocol ChineseTraditionalLanguage "一套規格用來完成些對於在兩個(或更多) ComputerPrograms 之間傳遞的序列跟檔案格式之任務")	ComputingBrands.kif 1722-1723
(documentation ComputerProtocol EnglishLanguage "A set of specifications for the sequence and format of data sent between two (or more) ComputerPrograms to accomplish some task.")	ComputingBrands.kif 1719-1720
(documentation ComputerProtocol JapaneseLanguage "2つ（またはそれ以上）の＆％ComputerPrograms 間で送信されたシーケンスとフォーマットのデータ一の連の仕様でいくつかのタスクを完了する。")	ComputingBrands.kif 1728-1729
(subclass ComputerProtocol Procedure)	ComputingBrands.kif 1718-1718	子類電腦協定 and Procedure

appearance as argument number 2

(subclass ActiveSync ComputerProtocol)	ComputingBrands.kif 1748-1748	子類活性同步 and 電腦協定
(subclass DHCPProtocol ComputerProtocol)	ComputingBrands.kif 4025-4025	子類 DHCPProtocol and 電腦協定
(subclass USBProtocol ComputerProtocol)	ComputingBrands.kif 2815-2815	子類 USB and 電腦協定
(termFormat ChineseLanguage ComputerProtocol "电脑协定")	ComputingBrands.kif 1733-1733
(termFormat ChineseTraditionalLanguage ComputerProtocol "電腦協定")	ComputingBrands.kif 1732-1732
(termFormat EnglishLanguage ComputerProtocol "computer protocol")	ComputingBrands.kif 1731-1731
(termFormat JapaneseLanguage ComputerProtocol "コンピュータプロトコル")	ComputingBrands.kif 1734-1734

appearance as argument number 3

(domain implementsProtocol 2 ComputerProtocol)	ComputingBrands.kif 4045-4045	域 implementsProtocol, 2 and 電腦協定
(domainSubclass protocolForConnector 1 ComputerProtocol)	ComputingBrands.kif 2855-2855	域子類 protocolForConnector, 1 and 電腦協定

antecedent

(=>
    (instance ?CP ComputerProtocol)
    (hasPurpose ?CP
        (exists (?P1 ?P2 ?C)
            (and
                (instance ?P1 ComputerProgram)
                (instance ?P2 ComputerProgram)
                (instance ?C DataTransfer)
                (origin ?C ?P1)
                (destination ?C ?P2)
                (represents ?CP ?C)))))

ComputingBrands.kif 1736-1746