TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2735-2736
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2733-2733	Search results page is a subclass of WebPage

appearance as argument number 2

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

UXExperimentalTerms.kif 2738-2738

appearance as argument number 3

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

UXExperimentalTerms.kif 3918-3918

antecedent

No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3928-3946	If a search results page is an instance of search results page and a list is an instance of search results and the list is a component of the search results page, then the number of instances in the class described by a symbolic string and length of the list is equal to qualifying clicks on the search results page
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2740-2745	If a corpuscular object is an instance of search results page, then there exists another corpuscular object such that the other corpuscular object is an instance of search results and the other corpuscular object is a component of the corpuscular object

consequent

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

UXExperimentalTerms.kif 2701-2708