| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1173-1173 | PensionPlan e' uma sub-classe de FinancialAccount |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1187-1187 | ProfitSharingPlan e' uma sub-classe de PensionPlan |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3386-3386 | IndividualRetirementAccount e' uma sub-classe de PensionPlan |
| 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 3432-3432 | SavingsPlan_408K e' uma sub-classe de PensionPlan |
|
|