DHCPProgram - Sigma Knowledge base Browser

appearance as argument number 1

(subclass DHCPProgram ComputerProgram)	ComputingBrands.kif 3960-3960	DHCP program is a subclass of computer program
(documentation DHCPProgram EnglishLanguage "A ComputerProgram that implements the DHCPProtocol.")	ComputingBrands.kif 3961-3962	DHCP program is a subclass of computer program

appearance as argument number 2

(termFormat EnglishLanguage DHCPProgram "DHCP program")

antecedent

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

If X is an instance of DHCP program, then there exists Y such that Y is an instance of DHCP and X implements Y

consequent

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

If X is an instance of DHCP server, then there exist Y, Z such that Z is an instance of computer, Y is an instance of DHCP program, X is running on Z, and Y is a program running of X