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	HypertextLink est une sous-classe de DigitalData

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 1160-1160	GUI_Link est une sous-classe de HypertextLink
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

antecedent

No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 2235-2240	Processus est une instance de SelectingActiveArea entit� est un patient de processus entit� est une instance de HypertextLink processus est une instance de RequestingHyperlink
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3333-3356	Collection est une instance de collection objet corpusculaire est une instance de HypertextLink physique physique est un membre de collection physique est une instance de AccessingWebPage collection est un composant de objet corpusculaire collection collection est une instance de collection processus processus est une instance de RequestingHyperlink objet corpusculaire est un patient de processus processus est un membre de collection ClickThroughRateFn collection and objet corpusculaire est instances dans collection + le nombre d' instances dans collection
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3312-3314	Entit� est une instance de HypertextLink entit� inclut une r�f�rence � DigitalData

consequent

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

UXExperimentalTerms.kif 3721-3739