TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 2131-2133
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 2129-2129	主机抖动的 1 数量是电脑的 instance
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 2130-2130	主机抖动的 2 数量是恒量的 instance
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 2128-2128	主机抖动是二元谓语的 instance

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 1205-1205
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 1204-1204
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 1203-1203
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 28647-28647
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 28646-28646
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 28645-28645