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	webPageURL 的 1 数量是 WebPage 的 instance
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 4394-4394	webPageURL 的 2 数量是统一资源定位器的 instance
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 4392-4392	webPageURL 是二元谓语的 instance

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