TreeView Knowledge Base Browser - WebPageModule

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 2191-2191
(subclass WebPageModule UIElement)	UXExperimentalTerms.kif 2189-2189	Module is a subclass of UI element

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	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 2218-2227	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 simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

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