TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 1430-1431
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 1428-1428	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 1427-1427	CPU utilization is an instance of unary function
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 1429-1429	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 3138-3138
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 3137-3137
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 3136-3136
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 17715-17715
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 17714-17714
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 17713-17713