TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 2209-2217
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 2206-2206	filename 的 1 数量是符号串的 instance
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 2207-2207	filename 的 2 数量是数字数据的 instance
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 2203-2203	filename 是二元谓语的 instance
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 2204-2204	filename 是部分值关系的 instance
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 2219-2219	filename 和的目录是内部相关
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 2205-2205	filename 是命名的 subrelation

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 3434-3434
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 3433-3433
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 3432-3432
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 65828-65828