| DepositAccount(deposit account) | | bank_account, fund, giro_account, monetary_fund, pension_fund, slush_fund, superannuation_fund, war_chest |
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1025-1026 | |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1024-1024 | Deposit account is a subclass of financial account |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1126-1126 | Checking account is a subclass of deposit account |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1144-1144 | Investment account is a subclass of deposit account |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 19146-19146 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 19145-19145 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 19144-19144 |
| consequent |
|
|
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 203-211 |
|
|
|
|