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	O argumento numero 1 de sendRate e' uma instancia de ComputationalSystem
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 2155-2155	O argumento numero 2 de sendRate e' uma instancia de Duracao Temporal
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 2153-2153	sendRate e' uma instancia de Predicado Binario
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 2152-2152	sendRate e' uma sub-relacao 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