TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1130-1132
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1126-1126	Visitor profile is a subclass of collection

appearance as argument number 2

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

UXExperimentalTerms.kif 1128-1128

antecedent

No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1134-1138	If a collection is an instance of visitor profile and a physical is a member of the collection, then the physical is an instance of formula
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

consequent

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

UXExperimentalTerms.kif 1187-1192