DHCPProgram - Sigma Knowledge base Browser

appearance as argument number 1

(documentation DHCPProgram EnglishLanguage "A ComputerProgram that implements the DHCPProtocol.")	ComputingBrands.kif 4055-4056
(subclass DHCPProgram ComputerProgram)	ComputingBrands.kif 4054-4054	DHCP program is a subclass of computer program

appearance as argument number 2

(termFormat EnglishLanguage DHCPProgram "DHCP program")

domainEnglishFormat.kif 64781-64781

antecedent

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

ComputingBrands.kif 4058-4063

consequent

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

ComputingBrands.kif 4065-4072