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	Le nombre 1 argument de filename est une instance de cha�ne sympbolique
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 2207-2207	Le nombre 2 argument de filename est une instance de DigitalData
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 2203-2203	filename est une instance de pr�dicat binaire
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 2204-2204	filename est une instance de relation partielle
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 2219-2219	filename est reli� � l'int�rieur de SUMO � directoryOf
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 2205-2205	filename est une sous-relation 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