TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 799-799
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 797-797	O argumento numero 1 de floorLoan e' uma instancia de Loan
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 798-798	O argumento numero 2 de floorLoan e' uma instancia de Medida de Divisa
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 796-796	floorLoan e' uma instancia de Predicado Binario

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 1061-1061
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 1060-1060
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 1059-1059
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 24272-24272
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 24271-24271
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 24270-24270