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	The number 1 argument of product model is an instance of symbolic string
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 16-16	The number 2 argument of product model is a subclass of product
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 13-13	product model is an instance of asymmetric relation
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 14-14	product model is a subrelation of 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