| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1173-1173 | 子類 養老金計劃 and 金融賬戶 |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1187-1187 | 子類 利潤分享計劃 and 養老金計劃 |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3386-3386 | 子類 個人退休賬戶 and 養老金計劃 |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3408-3408 | 子類 定額供款計劃 and 養老金計劃 |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3432-3432 | 子類 SavingsPlan_408K and 養老金計劃 |
|
|