TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 2195-2199
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 2200-2200	Le nombre 1 argument de coding est une instance de objet exprimant un sens
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 2201-2201	Le nombre 2 argument de coding est une instance de CodingScheme
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 2193-2193	coding est une instance de pr�dicat binaire
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 2194-2194	coding est une instance de relation partielle

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 3022-3022
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 3021-3021
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 3020-3020
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 2250-2250	mimeType est une sous-relation de coding
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 65793-65793