FinancialInstrument - Sigma Knowledge base Browser

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 15718-15719
(externalImage FinancialInstrument "http://upload.wikimedia.org/wikipedia/ commons/ 1/ 1f/ Akcja1925NobelBr.jpg")	pictureList.kif 2814-2814
(externalImage FinancialInstrument "http://upload.wikimedia.org/wikipedia/ commons/ 4/ 4d/ Usdollar100front.jpg")	pictureList.kif 2675-2675
(externalImage FinancialInstrument "http://upload.wikimedia.org/wikipedia/ commons/ 5/ 58/ Sears_Aktie.jpg")	pictureList.kif 2815-2815
(externalImage FinancialInstrument "http://upload.wikimedia.org/wikipedia/ commons/ 7/ 7c/ GeorgSchleberAG_Aktie.jpg")	pictureList.kif 2811-2811
(externalImage FinancialInstrument "http://upload.wikimedia.org/wikipedia/ commons/ f/ fc/ Heinz_Aktie.jpg")	pictureList.kif 2812-2812
(externalImage FinancialInstrument "http://upload.wikimedia.org/wikipedia/ commons/ f/ fe/ RWE_1910.jpg")	pictureList.kif 2813-2813
(subclass FinancialInstrument Certificate)	Merge.kif 15717-15717	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 Bond FinancialInstrument)	FinancialOntology.kif 2273-2273	Bond 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 15721-15721	Currency is a subclass of financial instrument
(subclass Note FinancialInstrument)	FinancialOntology.kif 86-86	Note is a subclass of financial instrument
(subclass Receipt FinancialInstrument)	FinancialOntology.kif 3986-3986	Receipt is a subclass of financial instrument
(subclass Security FinancialInstrument)	FinancialOntology.kif 2094-2094	Security is a subclass of financial instrument
(subclass Stock FinancialInstrument)	FinancialOntology.kif 2166-2166	Stock is a subclass of financial instrument
(subclass Title FinancialInstrument)	FinancialOntology.kif 3942-3942	Title is a subclass of financial instrument
(termFormat ChineseLanguage FinancialInstrument "金融工具")	domainEnglishFormat.kif 23790-23790	Title is a subclass of financial instrument
(termFormat ChineseTraditionalLanguage FinancialInstrument "金融工具")	domainEnglishFormat.kif 23789-23789	Title is a subclass of financial instrument
(termFormat EnglishLanguage FinancialInstrument "financial instrument")	domainEnglishFormat.kif 23788-23788	Title is a subclass of financial instrument

appearance as argument number 3

(domain strikePrice 1 FinancialInstrument)	FinancialOntology.kif 2623-2623	The number 1 argument of strike price is an instance of financial instrument
(domain underlier 2 FinancialInstrument)	FinancialOntology.kif 2754-2754	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 11915-11920

If a process is an instance of financial transaction,
then there exists an entity such that the entity is a patient of the process and the entity 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

KB Term:			Term intersection

English Word: