Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   PageModuleServer
|
|
|
| appearance as argument number 1 |
|
|
| (subclass PageModuleServer Software) | UXExperimentalTerms.kif 2001-2001 | Page module server is a subclass of software |
| (documentation PageModuleServer EnglishLanguage "Software which is a part of a ComputerProgram, and hasPurpose of being the origin of a DataTransfer where a PageServerModule is the destination.") | UXExperimentalTerms.kif 2005-2007 | Page module server is a subclass of software |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage PageModuleServer "page module server") | UXExperimentalTerms.kif 2003-2003 |
| antecedent |
|
|
| (=> (instance ?MODULE_SERVER PageModuleServer) (part ?MODULE_SERVER ComputerProgram)) |
UXExperimentalTerms.kif 2009-2011 | If ?MODULE_SERVER is an instance of page module server, then ?MODULE_SERVER is a part of computer program |
| consequent |
|
|
| (=> (instance ?MODULE WebPageModule) (hasPurpose ?MODULE (exists (?TRANSFER ?ORIGIN ?MODULE_SERVER) (and (instance ?TRANSFER DataTransfer) (instance ?MODULE_SERVER PageModuleServer) (instance ?ORIGIN ?MODULE_SERVER) (origin ?TRANSFER ?MODULE_SERVER) (destination ?TRANSFER ?MODULE))))) |
UXExperimentalTerms.kif 2013-2022 | If X is an instance of module, then X has the purpose there exist Y, Z, ?MODULE_SERVER such that Y is an instance of data transfer, ?MODULE_SERVER is an instance of page module server, Z is an instance of ?MODULE_SERVER, Y originates at ?MODULE_SERVER, and Y ends up at X |
|