| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 968-968 | InterestBearingAccount e' uma sub-classe de FinancialAccount |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 976-976 | FixedRateAccount e' uma sub-classe de InterestBearingAccount |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 986-986 | AdjustableRateAccount e' uma sub-classe de InterestBearingAccount |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1028-1028 | SavingsAccount e' uma sub-classe de InterestBearingAccount |
|
|