|
|
   WebPageModule
|
|
|
| appearance as argument number 1 |
|
|
| (documentation WebPageModule EnglishLanguage "A UIElement that is a component of a WebPage.") | UXExperimentalTerms.kif 1985-1985 | |
| (subclass WebPageModule UIElement) | UXExperimentalTerms.kif 1983-1983 |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage WebPageModule "module") | UXExperimentalTerms.kif 1987-1987 |
| antecedent |
|
|
| (=> (instance ?MODULE WebPageModule) (exists (?PAGE) (and (instance ?PAGE WebPage) (component ?MODULE ?PAGE)))) |
UXExperimentalTerms.kif 1989-1994 | |
| (=> (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 |
|
|
|