TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 1086-1087
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 1084-1084	O argumento numero 1 de softwarePath e' uma instancia de SoftwareSystem
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 1085-1085	O argumento numero 2 de softwarePath e' uma instancia de ComputerPath
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 1083-1083	softwarePath e' uma instancia de Predicado Binario

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2323-2323
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2322-2322
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2321-2321
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 53720-53720
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 53719-53719
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 53718-53718