TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 4287-4289
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 4285-4285	trustedDevice 的 1 数量是用户帐号的 instance
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 4286-4286	trustedDevice 的 2 数量是电脑的 instance
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 4284-4284	trustedDevice 是二元谓语的 instance

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 4291-4291
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 4290-4290