TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 1204-1205
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 1202-1202	O argumento numero 1 de slidingWindowSize e' uma instancia de ComputerPath
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 1203-1203	O argumento numero 2 de slidingWindowSize e' uma instancia de Inteiro positivo
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 1201-1201	slidingWindowSize e' uma instancia de Predicado Binario

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2311-2311
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2310-2310
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2309-2309
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 53398-53398
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 53397-53397
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 53396-53396