| InvestmentAccount(investment account)
| | revolving_fund, sinking_fund |
| appearance as argument number 1 |
|
|
| (documentation InvestmentAccount EnglishLanguage "An account acquired for future financial return or benefit") | FinancialOntology.kif 1159-1159 | |
| (externalImage InvestmentAccount "http://upload.wikimedia.org/wikipedia/ commons/ 0/ 07/ Emser_Br%C3%BCcke%2C_Investment_Banking_Center_Frankfurt.jpg") | pictureList.kif 10071-10071 | |
| (externalImage InvestmentAccount "http://upload.wikimedia.org/wikipedia/ commons/ 7/ 7b/ Union_Investment-1.jpg") | pictureList.kif 11238-11238 | |
| (subclass InvestmentAccount DepositAccount) | FinancialOntology.kif 1158-1158 | Investment account is a subclass of deposit account |
| appearance as argument number 2 |
|
|
| (instance BrokerageAccount InvestmentAccount) | FinancialOntology.kif 3479-3479 | Brokerage account is an instance of investment account |
| (subclass MutualFundAccount InvestmentAccount) | FinancialOntology.kif 1161-1161 | Mutual fund account is a subclass of investment account |
| (termFormat ChineseLanguage InvestmentAccount "投资账户") | domainEnglishFormat.kif 30893-30893 | Mutual fund account is a subclass of investment account |
| (termFormat ChineseTraditionalLanguage InvestmentAccount "投資賬戶") | domainEnglishFormat.kif 30892-30892 | Mutual fund account is a subclass of investment account |
| (termFormat EnglishLanguage InvestmentAccount "investment account") | domainEnglishFormat.kif 30891-30891 | Mutual fund account is a subclass of investment account |
| consequent |
|
|
| (=> (instance ?Attribute InvestmentAttribute) (exists (?Account) (and (attribute ?Account ?Attribute) (instance ?Account InvestmentAccount)))) |
FinancialOntology.kif 1820-1825 |
|
|
|
|