TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2525-2526
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2523-2523	Search results page is a subclass of web page

appearance as argument number 2

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

UXExperimentalTerms.kif 2528-2528

appearance as argument number 3

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

UXExperimentalTerms.kif 3711-3711

antecedent

No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3721-3739	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 2530-2535	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 2491-2498