DHCPProgram - Sigma Knowledge base Browser

appearance as argument number 1

(documentation DHCPProgram EnglishLanguage "A ComputerProgram that implements the DHCPProtocol.")	ComputingBrands.kif 4050-4051
(subclass DHCPProgram ComputerProgram)	ComputingBrands.kif 4049-4049

appearance as argument number 2

(termFormat EnglishLanguage DHCPProgram "DHCP program")

domainEnglishFormat.kif 64756-64756

antecedent

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

ComputingBrands.kif 4053-4058

consequent

(=>
    (instance ?D DHCPServer)
    (exists (?PROG ?C)
        (and
            (instance ?C Computer)
            (instance ?PROG DHCPProgram)
            (computerRunning ?D ?C)
            (programRunning ?D ?PROG))))

ComputingBrands.kif 4060-4067