ComputerProtocol - Sigma 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	Computer protocol is a subclass of procedure

appearance as argument number 2

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

appearance as argument number 3

(domain implementsProtocol 2 ComputerProtocol)	ComputingBrands.kif 4045-4045	The number 2 argument of implements protocol is an instance of computer protocol
(domainSubclass protocolForConnector 1 ComputerProtocol)	ComputingBrands.kif 2855-2855	The number 1 argument of protocol for connector is a subclass of computer protocol

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