| 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 | WebPageModule e' uma sub-classe de UIElement |
| 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 |
|
Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)
|
|
Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners