Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  ComputerProtocol

Sigma KEE - ComputerProtocol
ComputerProtocol(電腦協定)

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


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners