Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

  GraphCircuit

 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 15931-15931 Financial instrument is a subclass of certificate
(documentation FinancialInstrument EnglishLanguage "A document having monetary value or recording a monetary transaction") Merge.kif 15932-15933 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 Currency FinancialInstrument) Merge.kif 15935-15935 Currency is a subclass of financial instrument
(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 2127-2127 Security is a subclass of financial instrument
(subclass Stock FinancialInstrument) FinancialOntology.kif 2193-2193 Stock is a subclass of financial instrument
(subclass Bond FinancialInstrument) FinancialOntology.kif 2300-2300 Bond is a subclass of financial instrument
(subclass Title FinancialInstrument) FinancialOntology.kif 3986-3986 Title is a subclass of financial instrument
(subclass Receipt FinancialInstrument) FinancialOntology.kif 4030-4030 Receipt is a subclass of financial instrument
(termFormat EnglishLanguage FinancialInstrument "financial instrument") domainEnglishFormat.kif 23770-23770 Receipt is a subclass of financial instrument
(termFormat ChineseTraditionalLanguage FinancialInstrument "金融工具") domainEnglishFormat.kif 23771-23771 Receipt is a subclass of financial instrument
(termFormat ChineseLanguage FinancialInstrument "金融工具") domainEnglishFormat.kif 23772-23772 Receipt is a subclass of financial instrument

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


(domain strikePrice 1 FinancialInstrument) FinancialOntology.kif 2640-2640 The number 1 argument of strike price is an instance of financial instrument
(domain underlier 2 FinancialInstrument) FinancialOntology.kif 2765-2765 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 12116-12121 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 simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners