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 3402-3402 | 子類 SavingsPlan_401K and 定額供款計劃 |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3413-3413 | 子類 SavingsPlan_403B and 定額供款計劃 |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3418-3418 | 子類 SARSEP計劃 and 定額供款計劃 |