| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1028-1028 | SavingsAccount e' uma sub-classe de InterestBearingAccount |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1054-1054 | MoneyMarket e' uma sub-classe de SavingsAccount |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1067-1067 | TreasuryBill e' uma sub-classe de SavingsAccount |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1075-1075 | CertificateOfDeposit e' uma sub-classe de SavingsAccount |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1101-1101 | TraditionalSavingsAccount e' uma sub-classe de SavingsAccount |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3384-3384 | IndividualRetirementAccount e' uma sub-classe de SavingsAccount |
|
|