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

No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1985-1985
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1983-1983	Module is a subclass of UI element

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.

UXExperimentalTerms.kif 1987-1987

antecedent

No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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