Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   WebPageModule
|
|
|
| appearance as argument number 1 |
|
|
| (subclass WebPageModule UIElement) | UXExperimentalTerms.kif 1984-1984 | Module is a subclass of UI element |
| (documentation WebPageModule EnglishLanguage "A UIElement that is a component of a WebPage.") | UXExperimentalTerms.kif 1986-1986 | Module is a subclass of UI element |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage WebPageModule "module") | UXExperimentalTerms.kif 1988-1988 |
| antecedent |
|
|
| (=> (instance ?MODULE WebPageModule) (exists (?PAGE) (and (instance ?PAGE WebPage) (component ?MODULE ?PAGE)))) |
UXExperimentalTerms.kif 1990-1995 | If X is an instance of module, then there exists Y such that Y is an instance of web page and X is a component of Y |
| (=> (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 |
|