TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 4395-4397
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 4393-4393	O argumento numero 1 de webPageURL e' uma instancia de WebPage
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 4394-4394	O argumento numero 2 de webPageURL e' uma instancia de UniformResourceLocator
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 4392-4392	webPageURL e' uma instancia de Predicado Binario

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 4398-4398
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 4399-4399