MutualFundAccount
|
|
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 39497-39497 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 39496-39496 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 39495-39495 |