TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2101-2102
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2097-2097	WebBrowser e' uma sub-classe de Programa de Computador

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 974-974	AppleSafari e' uma sub-classe de WebBrowser
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 4577-4577	ChromeBrowser e' uma sub-classe de WebBrowser
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 4597-4597	FireFoxBrowser e' uma sub-classe de WebBrowser
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 4587-4587	IEBrowser e' uma sub-classe de WebBrowser
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2099-2099

appearance as argument number 3

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

UXExperimentalTerms.kif 733-733

O argumento numero 2 de browserID e' uma instancia de WebBrowser

antecedent

No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3759-3784	AccessingWebPage e' uma instancia de AccessingWebPage Entidade e' uma instancia de WebPage Processo e' uma instancia de DataTransfer Objeto e' uma instancia de Server Processo e' uma instancia de Pedir AutonomousAgent e' uma instancia de WebBrowser Intervalo Temporal e' uma instancia de Intervalo Temporal Entidade e' um patient de AccessingWebPage Processo e' um agente de AutonomousAgent Processo termina em Objeto Entidade e' um patient de Processo Processo tem como origem Objeto Processo termina em AutonomousAgent Entidade e' um patient de Processo Processo e' um sub-processo de AccessingWebPage Processo e' um sub-processo de AccessingWebPage o fim de tempo de existencia de Processo e' igual a o comeco de Intervalo Temporal o fim de tempo de existencia de Processo e' igual a o fim de Intervalo Temporal SiteSpeedFn AccessingWebPage e' igual a Intervalo Temporal
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2104-2110	Fisico e' uma instancia de WebBrowser Fisico tem por fim Entidade Entidade e' uma instancia de AccessingWebPage Fisico e' um instrumento para Entidade

consequent

No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 750-758	browserID Identifier, WebBrowser and WebSite o argumento WebBrowser WebBrowser e' uma instancia de WebBrowser browserID Identifier, WebBrowser and WebSite tem a forca modal de Likely
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1209-1216	webVisitor AutonomousAgent and WebSite Identifier WebBrowser Identifier e' uma instancia de Identifier WebBrowser e' uma instancia de WebBrowser browserID Identifier, WebBrowser and WebSite Identifier define AutonomousAgent