TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 1174-1177
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 1172-1172	O argumento numero 1 de simpleDeadline e' uma instancia de ComputerPath
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 1173-1173	O argumento numero 2 de simpleDeadline e' uma instancia de Duracao Temporal
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 1171-1171	simpleDeadline e' uma instancia de Predicado Binario

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2299-2299
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2298-2298
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2297-2297
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 53122-53122
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 53121-53121
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 53120-53120