PageModuleServer |
appearance as argument number 1 |
(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 2004-2006 | |
(subclass PageModuleServer Software) | UXExperimentalTerms.kif 2000-2000 |
appearance as argument number 2 |
(termFormat EnglishLanguage PageModuleServer "page module server") | UXExperimentalTerms.kif 2002-2002 |
antecedent |
(=> (instance ?MODULE_SERVER PageModuleServer) (part ?MODULE_SERVER ComputerProgram)) |
UXExperimentalTerms.kif 2008-2010 |
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 2012-2021 |