TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 2209-2217
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 2206-2206	O argumento numero 1 de filename e' uma instancia de Sequencia Simbolica
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 2207-2207	O argumento numero 2 de filename e' uma instancia de DigitalData
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 2203-2203	filename e' uma instancia de Predicado Binario
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 2204-2204	filename e' uma instancia de Relacao Parcial
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 2219-2219	filename e' relacionado internamente por SUMO a directoryOf
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 2205-2205	filename e' uma sub-relacao de names

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 3434-3434
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 3433-3433
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 3432-3432
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 65828-65828