Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - DHCPProtocol
DHCPProtocol

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 DHCPProtocolコンピュータプロトコルsubclass では %n

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


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners