No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3408-3408 | 定额供款计划 是 养老金计划 的 subclass |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3402-3402 | SavingsPlan_401K 是 定额供款计划 的 subclass |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3413-3413 | SavingsPlan_403B 是 定额供款计划 的 subclass |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3418-3418 | SARSEP计划 是 定额供款计划 的 subclass |