TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 2252-2253
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 2251-2251	O argumento numero 2 de mimeType e' uma instancia de MimeEncodingScheme
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 2248-2248	mimeType e' uma instancia de Predicado Binario
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 2249-2249	mimeType e' uma instancia de Relacao Parcial
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 2250-2250	mimeType e' uma sub-relacao de coding

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 3858-3858
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 3857-3857
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 3856-3856
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 65874-65874