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

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - ComputerProtocol

appearance as argument number 1

(documentation ComputerProtocol ChineseLanguage "一套规格用来完成些对于在两个(或更多) ComputerPrograms 之间传递的序列跟档案格式之任务") ComputingBrands.kif 1693-1694
(documentation ComputerProtocol ChineseTraditionalLanguage "一套規格用來完成些對於在兩個(或更多) ComputerPrograms 之間傳遞的序列跟檔案格式之任務") ComputingBrands.kif 1690-1691
(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 1687-1688
(documentation ComputerProtocol JapaneseLanguage "2つ(またはそれ以上)の&%ComputerPrograms 間で送信されたシーケンスとフォーマットのデータ一の連の仕様でいくつかのタスクを完了する。") ComputingBrands.kif 1696-1697
(subclass ComputerProtocol Procedure) ComputingBrands.kif 1686-1686 subclass コンピュータプロトコル and Procedure

appearance as argument number 2

(subclass ActiveSync ComputerProtocol) ComputingBrands.kif 1716-1716 subclass ActiveSync and コンピュータプロトコル
(subclass DHCPProtocol ComputerProtocol) ComputingBrands.kif 3988-3988 subclass DHCPProtocol and コンピュータプロトコル
(subclass USBProtocol ComputerProtocol) ComputingBrands.kif 2783-2783 subclass USB and コンピュータプロトコル
(termFormat ChineseLanguage ComputerProtocol "电脑协定") ComputingBrands.kif 1701-1701
(termFormat ChineseTraditionalLanguage ComputerProtocol "電腦協定") ComputingBrands.kif 1700-1700
(termFormat EnglishLanguage ComputerProtocol "computer protocol") ComputingBrands.kif 1699-1699
(termFormat JapaneseLanguage ComputerProtocol "コンピュータプロトコル") ComputingBrands.kif 1702-1702

appearance as argument number 3

(domain implementsProtocol 2 ComputerProtocol) ComputingBrands.kif 4008-4008 domain implementsProtocol, 2 and コンピュータプロトコル
(domainSubclass protocolForConnector 1 ComputerProtocol) ComputingBrands.kif 2823-2823 domainSubclass protocolForConnector, 1 and コンピュータプロトコル


    (instance ?CP ComputerProtocol)
    (hasPurpose ?CP
        (exists (?P1 ?P2 ?C)
                (instance ?P1 ComputerProgram)
                (instance ?P2 ComputerProgram)
                (instance ?C DataTransfer)
                (origin ?C ?P1)
                (destination ?C ?P2)
                (represents ?CP ?C)))))
ComputingBrands.kif 1704-1714

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

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