TreeView Knowledge Base Browser - softwareHeartBeatRate

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 923-925
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 921-921	O argumento numero 1 de softwareHeartBeatRate e' uma instancia de Programa de Computador
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 922-922	O argumento numero 2 de softwareHeartBeatRate e' uma instancia de Duracao Temporal
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 920-920	softwareHeartBeatRate e' uma instancia de Predicado Binario
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 919-919	softwareHeartBeatRate e' uma sub-relacao de frequency

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 3626-3626
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 3625-3625
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 3624-3624
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 27786-27786
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 27785-27785
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 27784-27784