TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 645-647
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 643-643	O argumento numero 1 de criticalityLevel e' uma instancia de Programa de Computador
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 644-644	O argumento numero 2 de criticalityLevel e' uma instancia de Numero Inteiro
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 642-642	criticalityLevel e' uma instancia de Predicado Binario

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 588-588
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 587-587
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 586-586
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 17850-17850
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 17849-17849
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 17848-17848