| MutualFundAccount(mutual fund account) | | ETF, exchange_traded_fund, index_fund, mutual_fund |
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1148-1152 | |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1147-1147 | Mutual fund account is a subclass of investment account |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 39495-39495 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 39494-39494 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 39493-39493 |
|
|
|