TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1485-1485	评估价值的 1 数量是抵押的 instance
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1486-1486	评估价值的 2 数量是货币测量的 instance
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1484-1484	评估价值是二元谓语的 instance
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1483-1483	评估价值是货币价值的 subrelation

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2810-2810
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2809-2809
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2808-2808
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 8040-8040
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 8039-8039
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 8038-8038