|
|
   DHCPProgram
|
|
|
| appearance as argument number 1 |
|
|
| (documentation DHCPProgram EnglishLanguage "A ComputerProgram that implements the DHCPProtocol.") | ComputingBrands.kif 4055-4056 | |
| (subclass DHCPProgram ComputerProgram) | ComputingBrands.kif 4054-4054 | DHCPProgram è una sottoclasse di ProgrammaDiComputer |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage DHCPProgram "DHCP program") | domainEnglishFormat.kif 64735-64735 |
| antecedent |
|
|
| (=> (instance ?DP DHCPProgram) (exists (?DPROTO) (and (instance ?DPROTO DHCPProtocol) (implementsProtocol ?DP ?DPROTO)))) |
ComputingBrands.kif 4058-4063 |
|
| consequent |
|
|
| (=> (instance ?D DHCPServer) (exists (?PROG ?C) (and (instance ?C Computer) (instance ?PROG DHCPProgram) (computerRunning ?D ?C) (programRunning ?D ?PROG)))) |
ComputingBrands.kif 4065-4072 |
|
|
|