| (subclass IndividualRetirementAccount SavingsAccount) | FinancialOntology.kif 3384-3384 | IndividualRetirementAccount は SavingsAccount の subclass では %n |
| (subclass IndividualRetirementAccount PersonalAccount) | FinancialOntology.kif 3385-3385 | IndividualRetirementAccount は PersonalAccount の subclass では %n |
| (subclass IndividualRetirementAccount PensionPlan) | FinancialOntology.kif 3386-3386 | IndividualRetirementAccount は PensionPlan の subclass では %n |
| (subclass RothIRAAccount IndividualRetirementAccount) | FinancialOntology.kif 3397-3397 | RothIRAAccount は IndividualRetirementAccount の subclass では %n |
|
|