TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 2156-2157
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 2154-2154	Le nombre 1 argument de sendRate est une instance de ComputationalSystem
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 2155-2155	Le nombre 2 argument de sendRate est une instance de dur�e temporel
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 2153-2153	sendRate est une instance de pr�dicat binaire
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 2152-2152	sendRate est une sous-relation de frequency

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 4490-4490
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 4489-4489
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 4488-4488
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 52053-52053
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 52052-52052
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 52051-52051