TreeView Knowledge Base Browser

appearance as argument number 1

(subclass ComputerProtocol Procedure)	ComputingBrands.kif 1718-1718	Computer protocol is a subclass of procedure
(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	Computer protocol is a subclass of procedure
(documentation ComputerProtocol ChineseTraditionalLanguage "一套規格用來完成些對於在兩個(或更多) ComputerPrograms 之間傳遞的序列跟檔案格式之任務")	ComputingBrands.kif 1722-1723	Computer protocol is a subclass of procedure
(documentation ComputerProtocol ChineseLanguage "一套规格用来完成些对于在两个(或更多) ComputerPrograms 之间传递的序列跟档案格式之任务")	ComputingBrands.kif 1725-1726	Computer protocol is a subclass of procedure
(documentation ComputerProtocol JapaneseLanguage "2つ（またはそれ以上）の＆％ComputerPrograms 間で送信されたシーケンスとフォーマットのデータ一の連の仕様でいくつかのタスクを完了する。")	ComputingBrands.kif 1728-1729	Computer protocol is a subclass of procedure

appearance as argument number 2

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

appearance as argument number 3

(domainSubclass protocolForConnector 1 ComputerProtocol)	ComputingBrands.kif 2766-2766	The number 1 argument of protocol for connector is a subclass of computer protocol
(domain implementsProtocol 2 ComputerProtocol)	ComputingBrands.kif 3951-3951	The number 2 argument of implements protocol is an instance 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)))))

If X is an instance of computer protocol, then All of the following hold: (1) X has the purpose there exist Y, Z (2) W such that Y is an instance of computer program (3) Z is an instance of computer program (4) W is an instance of data transfer (5) W originates at Y (6) W ends up at Z (7) X expresses W