TreeView Knowledge Base Browser - shortBalanceAmount

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 4112-4114
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 4109-4109	短期金额的 1 数量是金融账户的 instance
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 4110-4110	短期金额的 2 数量是日的 instance
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 4111-4111	短期金额的 3 数量是货币测量的 instance
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 4107-4107	短期金额是三元谓语的 instance
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 4108-4108	短期金额是可用余额的 subrelation

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2283-2283
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2282-2282
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2281-2281
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 52803-52803
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 52802-52802
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 52801-52801