TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3305-3309
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3304-3304	Hyperlink is a subclass of digital data

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 1160-1160	GUI_ link is a subclass of hyperlink
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3310-3310

appearance as argument number 3

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

UXExperimentalTerms.kif 3329-3329

The number 2 argument of click-through rate is an instance of hyperlink

antecedent

No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 2235-2240	If a process is an instance of selecting active area and an entity is a patient of the process and the entity is an instance of hyperlink, then the process is an instance of requesting hyperlink
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3333-3356	If a collection is an instance of collection and a corpuscular object is an instance of hyperlink and for all a physical the physical is a member of another collection and the physical is an instance of accessing web page and the other collection is a component of the corpuscular object, then there exists a third collection such that the third collection is an instance of collection and for all a process if the process is an instance of requesting hyperlink and the corpuscular object is a patient of the process, then the process is a member of the third collection and the rate of clicking through the corpuscular object in the collection is equal to the number of instances in the third collection and the number of instances in the collection
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3312-3314	If an entity is an instance of hyperlink, then the entity includes a reference to digital data

consequent

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

UXExperimentalTerms.kif 3721-3739