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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - FinancialInstrument
FinancialInstrument(financial instrument)
more pictures...
certificate, cookie_jar_reserve, current_assets, deep_pocket, insurable_interest, liquid_assets, overage, quick_assets, reserve_assets, security, soft_money, soybean_future, tax-exempt, tax-exempt_security, tranche, wheat_future

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


(documentation FinancialInstrument ChineseLanguage "这是具有货币价值或记录货币交易的文件。") chinese_format.kif 3572-3572
(documentation FinancialInstrument EnglishLanguage "A document having monetary value or recording a monetary transaction") Merge.kif 15365-15366
(externalImage FinancialInstrument "http://upload.wikimedia.org/wikipedia/ commons/ 1/ 1f/ Akcja1925NobelBr.jpg") pictureList.kif 2816-2816
(externalImage FinancialInstrument "http://upload.wikimedia.org/wikipedia/ commons/ 4/ 4d/ Usdollar100front.jpg") pictureList.kif 2677-2677
(externalImage FinancialInstrument "http://upload.wikimedia.org/wikipedia/ commons/ 5/ 58/ Sears_Aktie.jpg") pictureList.kif 2817-2817
(externalImage FinancialInstrument "http://upload.wikimedia.org/wikipedia/ commons/ 7/ 7c/ GeorgSchleberAG_Aktie.jpg") pictureList.kif 2813-2813
(externalImage FinancialInstrument "http://upload.wikimedia.org/wikipedia/ commons/ f/ fc/ Heinz_Aktie.jpg") pictureList.kif 2814-2814
(externalImage FinancialInstrument "http://upload.wikimedia.org/wikipedia/ commons/ f/ fe/ RWE_1910.jpg") pictureList.kif 2815-2815
(subclass FinancialInstrument Certificate) Merge.kif 15364-15364 Financial instrument is a subclass of certificate

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


(range CurrencyFn FinancialInstrument) FinancialOntology.kif 284-284 The range of currency is an instance of financial instrument
(subclass BankCard FinancialInstrument) FinancialOntology.kif 179-179 Bank card is a subclass of financial instrument
(subclass Check FinancialInstrument) FinancialOntology.kif 90-90 Check is a subclass of financial instrument
(subclass Currency FinancialInstrument) Merge.kif 15368-15368 Currency is a subclass of financial instrument
(subclass Note FinancialInstrument) FinancialOntology.kif 86-86 Note is a subclass of financial instrument
(termFormat ChineseLanguage FinancialInstrument "金融工具") domainEnglishFormat.kif 23769-23769
(termFormat ChineseTraditionalLanguage FinancialInstrument "金融工具") domainEnglishFormat.kif 23768-23768
(termFormat EnglishLanguage FinancialInstrument "financial instrument") domainEnglishFormat.kif 23767-23767

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


(=>
    (instance ?TRANS FinancialTransaction)
    (exists (?OBJ)
        (and
            (patient ?TRANS ?OBJ)
            (instance ?OBJ FinancialInstrument))))
Merge.kif 11673-11678


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