No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1144-1144 | InvestmentAccount est une sous-classe de DepositAccount |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1147-1147 | MutualFundAccount est une sous-classe de InvestmentAccount |