TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 1326-1327
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 1324-1324	The number 1 argument of CPU utilization is an instance of computer program
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 1323-1323	CPU utilization is an instance of unary function
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 1325-1325	The range of CPU utilization is an instance of constant quantity

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 3147-3147
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 3146-3146
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 3145-3145
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 17638-17638
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 17637-17637
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 17636-17636