WebPageModule - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - WebPageModule

WebPageModule(module)

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	Module is a subclass of UI element

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	If a corpuscular object is an instance of module, then there exists another corpuscular object such that the other corpuscular object is an instance of web page and the corpuscular object is a component of the other corpuscular object
(=> (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	If a physical is an instance of module, then the physical has the purpose there exist an entity, another entity and the physical_SERVER such that the entity is an instance of data transfer and the physical_SERVER is an instance of page module server and the other entity is an instance of the physical_SERVER and the entity originates at the physical_SERVER and the entity ends up at the physical

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