Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  ]  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
-------------------------


(subclass FinancialInstrument Certificate) Merge.kif 15818-15818 Financial instrument is a subclass of certificate
(documentation FinancialInstrument EnglishLanguage "A document having monetary value or recording a monetary transaction") Merge.kif 15819-15820 Financial instrument is a subclass of certificate
(externalImage FinancialInstrument "http://upload.wikimedia.org/wikipedia/ commons/ 4/ 4d/ Usdollar100front.jpg") pictureList.kif 2675-2675 Financial instrument is a subclass of certificate
(externalImage FinancialInstrument "http://upload.wikimedia.org/wikipedia/ commons/ 7/ 7c/ GeorgSchleberAG_Aktie.jpg") pictureList.kif 2811-2811 Financial instrument is a subclass of certificate
(externalImage FinancialInstrument "http://upload.wikimedia.org/wikipedia/ commons/ f/ fc/ Heinz_Aktie.jpg") pictureList.kif 2812-2812 Financial instrument is a subclass of certificate
(externalImage FinancialInstrument "http://upload.wikimedia.org/wikipedia/ commons/ f/ fe/ RWE_1910.jpg") pictureList.kif 2813-2813 Financial instrument is a subclass of certificate
(externalImage FinancialInstrument "http://upload.wikimedia.org/wikipedia/ commons/ 1/ 1f/ Akcja1925NobelBr.jpg") pictureList.kif 2814-2814 Financial instrument is a subclass of certificate
(externalImage FinancialInstrument "http://upload.wikimedia.org/wikipedia/ commons/ 5/ 58/ Sears_Aktie.jpg") pictureList.kif 2815-2815 Financial instrument is a subclass of certificate

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


(subclass Note FinancialInstrument) FinancialOntology.kif 88-88 Note is a subclass of financial instrument
(subclass Check FinancialInstrument) FinancialOntology.kif 92-92 Check is a subclass of financial instrument
(subclass BankCard FinancialInstrument) FinancialOntology.kif 181-181 Bank card is a subclass of financial instrument
(range CurrencyFn FinancialInstrument) FinancialOntology.kif 286-286 The range of currency is an instance of financial instrument
(subclass Security FinancialInstrument) FinancialOntology.kif 2097-2097 Security is a subclass of financial instrument
(subclass Stock FinancialInstrument) FinancialOntology.kif 2169-2169 Stock is a subclass of financial instrument
(subclass Bond FinancialInstrument) FinancialOntology.kif 2276-2276 Bond is a subclass of financial instrument
(subclass Title FinancialInstrument) FinancialOntology.kif 3946-3946 Title is a subclass of financial instrument
(subclass Receipt FinancialInstrument) FinancialOntology.kif 3990-3990 Receipt is a subclass of financial instrument
(subclass Currency FinancialInstrument) Merge.kif 15822-15822 Currency is a subclass of financial instrument
(termFormat EnglishLanguage FinancialInstrument "financial instrument") domainEnglishFormat.kif 23770-23770 Currency is a subclass of financial instrument
(termFormat ChineseTraditionalLanguage FinancialInstrument "金融工具") domainEnglishFormat.kif 23771-23771 Currency is a subclass of financial instrument
(termFormat ChineseLanguage FinancialInstrument "金融工具") domainEnglishFormat.kif 23772-23772 Currency is a subclass of financial instrument

appearance as argument number 3
-------------------------


(domain strikePrice 1 FinancialInstrument) FinancialOntology.kif 2626-2626 The number 1 argument of strike price is an instance of financial instrument
(domain underlier 2 FinancialInstrument) FinancialOntology.kif 2757-2757 The number 2 argument of underlier is an instance of financial instrument

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


(=>
    (instance ?TRANS FinancialTransaction)
    (exists (?OBJ)
        (and
            (patient ?TRANS ?OBJ)
            (instance ?OBJ FinancialInstrument))))		 Merge.kif 12010-12015 If X is an instance of financial transaction, then there exists Y such that Y is a patient of X and Y is an instance of financial instrument


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