| (subclass IndividualRetirementAccount SavingsAccount) | FinancialOntology.kif 3384-3384 | IndividualRetirementAccount est une sous-classe de SavingsAccount |
| (subclass IndividualRetirementAccount PersonalAccount) | FinancialOntology.kif 3385-3385 | IndividualRetirementAccount est une sous-classe de PersonalAccount |
| (subclass IndividualRetirementAccount PensionPlan) | FinancialOntology.kif 3386-3386 | IndividualRetirementAccount est une sous-classe de PensionPlan |
| (subclass RothIRAAccount IndividualRetirementAccount) | FinancialOntology.kif 3397-3397 | RothIRAAccount est une sous-classe de IndividualRetirementAccount |
|
|