TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 551-552
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 549-549	O argumento numero 1 de hostOf e' uma instancia de ComputationalSystem
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 550-550	O argumento numero 2 de hostOf e' uma instancia de Computer
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 548-548	hostOf e' uma instancia de Predicado Binario

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 1209-1209
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 1208-1208
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 1207-1207
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 28659-28659
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 28658-28658
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 28657-28657