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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - DHCPProtocol
DHCPProtocol(DHCP)

appearance as argument number 1
-------------------------


s__documentation(s__DHCPProtocol,s__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 3997-4005
s__instance(s__DHCPProtocol,s__SetOrClass)

s__instance(s__ComputerProtocol,s__SetOrClass)

s__subclass(s__DHCPProtocol,s__ComputerProtocol)

ComputingBrands.kif 3996-3996 DHCP is a subclass of computer protocol

appearance as argument number 2
-------------------------


s__termFormat(s__EnglishLanguage,s__DHCPProtocol,'"DHCP"')

ComputingBrands.kif 4006-4006

consequent
-------------------------


( ! [V__DP] :
   ((s__instance(V__DP,s__DHCPProgram) =>
       (( ? [V__DPROTO] :
           ((s__instance(V__DPROTO,s__DHCPProtocol) &
               s__implementsProtocol(V__DP,V__DPROTO))))))
   )
)

ComputingBrands.kif 4029-4034


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