InvestmentAccount - Sigma Knowledge base Browser

appearance as argument number 1

(subclass InvestmentAccount DepositAccount)	FinancialOntology.kif 1183-1183	Investment account is a subclass of deposit account
(documentation InvestmentAccount EnglishLanguage "An account acquired for future financial return or benefit")	FinancialOntology.kif 1184-1184	Investment account is a subclass of deposit account
(externalImage InvestmentAccount "http://upload.wikimedia.org/wikipedia/ commons/ 0/ 07/ Emser_Br%C3%BCcke%2C_Investment_Banking_Center_Frankfurt.jpg")	pictureList.kif 10071-10071	Investment account is a subclass of deposit account
(externalImage InvestmentAccount "http://upload.wikimedia.org/wikipedia/ commons/ 7/ 7b/ Union_Investment-1.jpg")	pictureList.kif 11238-11238	Investment account is a subclass of deposit account

appearance as argument number 2

(subclass MutualFundAccount InvestmentAccount)	FinancialOntology.kif 1186-1186	Mutual fund account is a subclass of investment account
(instance BrokerageAccount InvestmentAccount)	FinancialOntology.kif 3523-3523	Brokerage account is an instance of investment account
(termFormat EnglishLanguage InvestmentAccount "investment account")	domainEnglishFormat.kif 30867-30867	Brokerage account is an instance of investment account
(termFormat ChineseTraditionalLanguage InvestmentAccount "投資賬戶")	domainEnglishFormat.kif 30868-30868	Brokerage account is an instance of investment account
(termFormat ChineseLanguage InvestmentAccount "投资账户")	domainEnglishFormat.kif 30869-30869	Brokerage account is an instance of investment account

consequent

(=>
    (instance ?Attribute InvestmentAttribute)
    (exists (?Account)
        (and
            (attribute ?Account ?Attribute)
            (instance ?Account InvestmentAccount))))

If X is an instance of investment attribute, then there exists Y such that X is an attribute of Y and Y is an instance of investment account