Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - InvestmentAccount
InvestmentAccount

appearance as argument number 1
-------------------------


(documentation InvestmentAccount EnglishLanguage "An account acquired for future financial return or benefit") FinancialOntology.kif 1145-1145
(externalImage InvestmentAccount "http://upload.wikimedia.org/wikipedia/ commons/ 0/ 07/ Emser_Br%C3%BCcke%2C_Investment_Banking_Center_Frankfurt.jpg") pictureList.kif 10082-10082
(externalImage InvestmentAccount "http://upload.wikimedia.org/wikipedia/ commons/ 7/ 7b/ Union-Investment-1.jpg") pictureList.kif 11261-11261
(subclass InvestmentAccount DepositAccount) FinancialOntology.kif 1144-1144

appearance as argument number 2
-------------------------


(instance BrokerageAccount InvestmentAccount) FinancialOntology.kif 3478-3478
(subclass MutualFundAccount InvestmentAccount) FinancialOntology.kif 1147-1147
(termFormat ChineseLanguage InvestmentAccount "投资账户") domainEnglishFormat.kif 30847-30847
(termFormat ChineseTraditionalLanguage InvestmentAccount "投資賬戶") domainEnglishFormat.kif 30846-30846
(termFormat EnglishLanguage InvestmentAccount "investment account") domainEnglishFormat.kif 30845-30845

consequent
-------------------------


(=>
    (instance ?Attribute InvestmentAttribute)
    (exists (?Account)
        (and
            (attribute ?Account ?Attribute)
            (instance ?Account InvestmentAccount))))
FinancialOntology.kif 1820-1825


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners