TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 4554-4559
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 4550-4550	O argumento numero 1 de securityQA e' uma instancia de Question
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 4551-4551	O argumento numero 2 de securityQA e' uma instancia de Frase
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 4552-4552	O argumento numero 3 de securityQA e' uma instancia de Account
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 4549-4549	securityQA e' uma instancia de Relacao Ternaria

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 4553-4553
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 65932-65932