TreeView Knowledge Base Browser - implementsProtocol

appearance as argument number 1

(documentation implementsProtocol EnglishLanguage "A Relation that specifies that a ComputerProgram impelements and conforms to a given ComputerProtocol.")	ComputingBrands.kif 4047-4049
(domain implementsProtocol 1 ComputerProgram)	ComputingBrands.kif 4044-4044	implementsProtocol の数値 1 引数はコンピュータープログラムの instance では %n
(domain implementsProtocol 2 ComputerProtocol)	ComputingBrands.kif 4045-4045	implementsProtocol の数値 2 引数はコンピュータプロトコルの instance では %n
(instance implementsProtocol BinaryPredicate)	ComputingBrands.kif 4043-4043	implementsProtocol は 2進述語の instance では %n
(subrelation implementsProtocol represents)	ComputingBrands.kif 4050-4050	implementsProtocol は represents の subrelation では %n

appearance as argument number 2

(format EnglishLanguage implementsProtocol "%1 implements %2")	ComputingBrands.kif 4051-4051
(termFormat EnglishLanguage implementsProtocol "implements protocol")	ComputingBrands.kif 4052-4052

consequent

(=>
    (instance ?DP DHCPProgram)
    (exists (?DPROTO)
        (and
            (instance ?DPROTO DHCPProtocol)
            (implementsProtocol ?DP ?DPROTO))))

ComputingBrands.kif 4058-4063