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	securityQA 的 1 数量是题的 instance
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 4551-4551	securityQA 的 2 数量是句子的 instance
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 4552-4552	securityQA 的 3 数量是 Account 的 instance
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 4549-4549	securityQA 是三元关系的 instance

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