(subclass PersonalAccount FinancialAccount) | FinancialOntology.kif 992-992 | PersonalAccount est une sous-classe de FinancialAccount |
(subclass JointAccount PersonalAccount) | FinancialOntology.kif 1002-1002 | JointAccount est une sous-classe de PersonalAccount |
(subclass IndividualRetirementAccount PersonalAccount) | FinancialOntology.kif 3385-3385 | IndividualRetirementAccount est une sous-classe de PersonalAccount |