|
|
   WebPageModule
|
|
|
| appearance as argument number 1 |
|
|
| (documentation WebPageModule EnglishLanguage "A UIElement that is a component of a WebPage.") | UXExperimentalTerms.kif 2191-2191 | |
| (subclass WebPageModule UIElement) | UXExperimentalTerms.kif 2189-2189 | WebPageModule est une sous-classe de UIElement |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage WebPageModule "module") | UXExperimentalTerms.kif 2193-2193 |
| antecedent |
|
|
| (=> (instance ?MODULE WebPageModule) (exists (?PAGE) (and (instance ?PAGE WebPage) (component ?MODULE ?PAGE)))) |
UXExperimentalTerms.kif 2195-2200 |
|
| (=> (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 2218-2227 |
|
|
|