TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 1769-1770
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 1767-1767	O argumento numero 1 de responseRate e' uma instancia de ComputerResponse
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 1768-1768	O argumento numero 2 de responseRate e' uma instancia de Duracao Temporal
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 1766-1766	responseRate e' uma instancia de Predicado Binario
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 1765-1765	responseRate e' uma sub-relacao de frequency

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 4430-4430
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 4429-4429
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 4428-4428
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 49754-49754
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 49753-49753
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 49752-49752