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	Le nombre 1 argument de CPUUtilizationFn est une instance de programme d'ordinateur
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 1318-1318	CPUUtilizationFn est une instance de function unaire
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 1320-1320	Le domaine de CPUUtilizationFn est une instance de quantit� 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