visitorParameter - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - visitorParameter

visitorParameter

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1167-1169
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1161-1161	The number 1 argument of visitor profile parameter is an instance of agent
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1163-1163	The number 2 argument of visitor profile parameter is an instance of formula
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1165-1165	The number 3 argument of visitor profile parameter is an instance of web site
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1157-1157	visitor profile parameter is an instance of ternary predicate

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 4938-4938
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 4937-4937
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 4936-4936
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1159-1159

antecedent

No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1179-1185	If a formula is known about an agent who visits a web site, then there exists a cognitive agent such that the cognitive agent is an instance of cognitive agent and the cognitive agent possesses the web site and the cognitive agent knows the formula
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1187-1192	If a formula is known about an agent who visits a web site, then there exists a collection such that the collection is an instance of visitor profile and the formula is a member of the collection
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1175-1177	If a formula is known about an agent who visits a web site, then the formula includes a reference to an entity
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1171-1173	If a formula is known about an agent who visits a web site, then the agent is a visitor to the web site

consequent

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

UXExperimentalTerms.kif 1140-1151

If a collection is an instance of visitor profile,
then there exist an agent and a web site such that the agent is an instance of agent and the web site is an instance of web site and for all a formula
- if the formula is a member of the collection and the formula is an instance of formula,
- then the formula is known about the agent who visits the web site

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