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 e' uma sub-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 e' uma sub-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	Processo e' uma instancia de SelectingActiveArea Entidade e' um patient de Processo Entidade e' uma instancia de HypertextLink Processo e' uma instancia de RequestingHyperlink
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3333-3356	Colecao e' uma instancia de Colecao Objeto Corpuscular e' uma instancia de HypertextLink Fisico Fisico e' membro de Colecao Fisico e' uma instancia de AccessingWebPage Colecao e' um componente de Objeto Corpuscular Colecao Colecao e' uma instancia de Colecao Processo Processo e' uma instancia de RequestingHyperlink Objeto Corpuscular e' um patient de Processo Processo e' membro de Colecao ClickThroughRateFn Colecao and Objeto Corpuscular e' igual a o numero de instancias dentro de Colecao + o numero de instancias dentro de Colecao
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3312-3314	Entidade e' uma instancia de HypertextLink Entidade inclui uma referencia a DigitalData

consequent

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

UXExperimentalTerms.kif 3721-3739