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	Le nombre 1 argument de productModel est une instance de cha�ne sympbolique
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 16-16	Le nombre 2 argument de productModel est une sous-classe de produit
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 13-13	productModel est une instance de relation asym�trique
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 14-14	productModel est une sous-relation 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