TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 1062-1064
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 1060-1060	O argumento numero 1 de priority e' uma instancia de ComputationalSystem
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 1061-1061	O argumento numero 2 de priority e' uma instancia de PriorityAttribute
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 1059-1059	priority e' uma instancia de Predicado Binario

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2059-2059
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2058-2058
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2057-2057
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 47410-47410
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 47409-47409
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 47408-47408