| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 58-58 | 子類 金融賬戶 and 協議 |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 4541-4541 | 子類 金融賬戶 and Account |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 968-968 | 子類 計息賬戶 and 金融賬戶 |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 992-992 | 子類 個人賬戶 and 金融賬戶 |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1013-1013 | 子類 企業帳戶 and 金融賬戶 |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1024-1024 | 子類 存款賬戶 and 金融賬戶 |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1159-1159 | 子類 責任賬戶 and 金融賬戶 |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1173-1173 | 子類 養老金計劃 and 金融賬戶 |
|
|