| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1024-1024 | DepositAccount e' uma sub-classe de FinancialAccount |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1126-1126 | CheckingAccount e' uma sub-classe de DepositAccount |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1144-1144 | InvestmentAccount e' uma sub-classe de DepositAccount |
|
|