TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 715-717
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 713-713	O argumento numero 1 de settlingTime e' uma instancia de Programa de Computador
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 714-714	O argumento numero 2 de settlingTime e' uma instancia de Duracao Temporal
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 712-712	settlingTime e' uma instancia de Predicado Binario

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2255-2255
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2254-2254
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2253-2253
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 52335-52335
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 52334-52334
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 52333-52333