TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 1321-1322
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 1319-1319	CPU利用率的 1 数量是电脑程序的 instance
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 1318-1318	CPU利用率是一元函数的 instance
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 1320-1320	CPU利用率的 range 是恒量的实例

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 3142-3142
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 3141-3141
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 3140-3140
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 17706-17706
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 17705-17705
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 17704-17704