TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2295-2296
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2293-2293	应计利息的 1 数量是键的 instance
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2294-2294	应计利息的 2 数量是利益的 instance
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2292-2292	应计利息是二元谓语的 instance

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 48-48
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 47-47
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 46-46
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 5280-5280
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 5279-5279
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 5278-5278