TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 17-18
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 15-15	O argumento numero 1 de productModel e' uma instancia de Sequencia Simbolica
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 16-16	O argumento numero 2 de productModel e' uma sub-classe de Produto
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 13-13	productModel e' uma instancia de Relacao Assimetrica
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 14-14	productModel e' uma sub-relacao de represents

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 4238-4238
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 4237-4237
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 4236-4236
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 47576-47576
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 47575-47575
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 47574-47574