DHCPProtocol - Sigma Knowledge base Browser

appearance as argument number 1

(subclass DHCPProtocol ComputerProtocol)	ComputingBrands.kif 3931-3931	DHCP is a subclass of computer protocol
(documentation DHCPProtocol EnglishLanguage "The Dynamic Host Configuration Protocol (DHCP) is a network management protocol used on UDP/ IP networks whereby a DHCP server dynamically assigns an IP address and other network configuration parameters to each device on a network so they can communicate with other IP networks. A DHCP server enables computers to request IP addresses and networking parameters automatically from the Internet service provider (ISP), reducing the need for a network administrator or a user to manually assign IP addresses to all network devices. [from Wikipedia]")	ComputingBrands.kif 3932-3940	DHCP is a subclass of computer protocol

appearance as argument number 2

(termFormat EnglishLanguage DHCPProtocol "DHCP")

consequent

(=>
    (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