TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3478-3478	最终价格的 1 数量是股票的 instance
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3479-3479	最终价格的 2 数量是货币测量的 instance
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3477-3477	最终价格是二元谓语的 instance
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3476-3476	最终价格是货币价值的 subrelation

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 3442-3442
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 3441-3441
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 3440-3440
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 23720-23720
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 23719-23719
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 23718-23718