TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 770-773
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 768-768	O argumento numero 1 de portNumber e' uma instancia de Programa de Computador
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 769-769	O argumento numero 2 de portNumber e' uma instancia de Inteiro positivo
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 767-767	portNumber e' uma instancia de Predicado Binario

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2003-2003
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2002-2002
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2001-2001
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 46748-46748
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 46747-46747
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 46746-46746