No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 4118-4118	域 市值金額, 1 and 金融賬戶
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 631-631	域 成人禮, 1 and 金融賬戶
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 679-679	域 最低餘額, 1 and 金融賬戶
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 717-717	域 原始餘額, 1 and 金融賬戶
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 778-778	域 透支, 1 and 金融賬戶
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3855-3855	域 每期付款, 1 and 金融賬戶
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 736-736	域 定期付款, 1 and 金融賬戶
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 729-729	域 本金, 1 and 金融賬戶
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3863-3863	域 每期購買, 1 and 金融賬戶
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1331-1331	域 擔保由, 1 and 金融賬戶
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 4109-4109	域 短期金額, 1 and 金融賬戶
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 531-531	域 單純的興趣, 1 and 金融賬戶
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 4054-4054	域 聲明帳戶, 2 and 金融賬戶
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1396-1396	域 總餘額, 1 and 金融賬戶
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1862-1862	域 產量水平, 1 and 金融賬戶
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3938-3938	域子類 銀行賬戶, 1 and 金融賬戶

Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners