treatedPage - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - treatedPage

treatedPage

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 4120-4123
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 4112-4112	The number 1 argument of treated page is an instance of web page
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 4114-4114	The number 2 argument of treated page is an instance of experimenting
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 4118-4118	treated page is an instance of binary predicate

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 4810-4810
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 4809-4809
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 4808-4808
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 4116-4116

antecedent

No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 4175-4190	If a human is an instance of human and a collection is an instance of collection and for all a web page, a process and an experimenting if the web page is an instance of web page and the process is an instance of accessing web page and the experimenting is an instance of experimenting and the human is an agent of the process and the web page is a patient of the process and the web page is the object of study of the experimenting, then the process is a member of the collection , then the collection is equal to all the treated web page views from the human
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 4125-4136	If a web page is the object of study of an experimenting, then there exist an agent, another agent and a process such that the agent is a member of events in the experimenting and if the other agent is an instance of human and the process is an instance of accessing web page and the other agent is an agent of the process and the process ends up at the web page, then the agent experiences the other agent

consequent

No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 4152-4157	If the definition of a treated page in an experimenting is a formula and a web page is an instance of web page and the formula includes a reference to the web page, then the web page is the object of study of the experimenting
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 4079-4085	If an accessing web page is accessed during a web page, then there exists an experimenting such that the experimenting is an instance of web page and the experimenting is a patient of the accessing web page and the web page is the object of study of the experimenting

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