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	O argumento numero 1 de CPUUtilizationFn e' uma instancia de Programa de Computador
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 1318-1318	CPUUtilizationFn e' uma instancia de funcao Unaria
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 1320-1320	O contra-dominio de CPUUtilizationFn e' uma instancia de Quantidade Constante

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