| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3408-3408 | DefinedContributionPlan e' uma sub-classe de PensionPlan |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3402-3402 | SavingsPlan_401K e' uma sub-classe de DefinedContributionPlan |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3413-3413 | SavingsPlan_403B e' uma sub-classe de DefinedContributionPlan |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3418-3418 | SARSEPPlan e' uma sub-classe de DefinedContributionPlan |
|
|