DHCPProtocol - Sigma Knowledge base Browser

appearance as argument number 1

(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 4026-4034
(subclass DHCPProtocol ComputerProtocol)	ComputingBrands.kif 4025-4025	DHCP is a subclass of computer protocol

appearance as argument number 2

(termFormat EnglishLanguage DHCPProtocol "DHCP")

ComputingBrands.kif 4035-4035

consequent

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

ComputingBrands.kif 4058-4063