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 14375-14376
(externalImage FinancialInstrument "http://upload.wikimedia.org/wikipedia/ commons/ 1/ 1f/ Akcja1925NobelBr.jpg")	pictureList.kif 2816-2816	externalImage FinancialInstrument and "http://upload.wikimedia.org/wikipedia/commons/1/1f/ Akcja1925NobelBr.jpg"
(externalImage FinancialInstrument "http://upload.wikimedia.org/wikipedia/ commons/ 4/ 4d/ Usdollar100front.jpg")	pictureList.kif 2677-2677	externalImage FinancialInstrument and "http://upload.wikimedia.org/wikipedia/commons/4/4d/ Usdollar100front.jpg"
(externalImage FinancialInstrument "http://upload.wikimedia.org/wikipedia/ commons/ 5/ 58/ Sears_Aktie.jpg")	pictureList.kif 2817-2817	externalImage FinancialInstrument and "http://upload.wikimedia.org/wikipedia/commons/5/58/ Sears_Aktie.jpg"
(externalImage FinancialInstrument "http://upload.wikimedia.org/wikipedia/ commons/ 7/ 7c/ GeorgSchleberAG_Aktie.jpg")	pictureList.kif 2813-2813	externalImage FinancialInstrument and "http://upload.wikimedia.org/wikipedia/commons/7/7c/ GeorgSchleberAG_Aktie.jpg"
(externalImage FinancialInstrument "http://upload.wikimedia.org/wikipedia/ commons/ f/ fc/ Heinz_Aktie.jpg")	pictureList.kif 2814-2814	externalImage FinancialInstrument and "http://upload.wikimedia.org/wikipedia/commons/f/fc/ Heinz_Aktie.jpg"
(externalImage FinancialInstrument "http://upload.wikimedia.org/wikipedia/ commons/ f/ fe/ RWE_1910.jpg")	pictureList.kif 2815-2815	externalImage FinancialInstrument and "http://upload.wikimedia.org/wikipedia/commons/f/fe/ RWE_1910.jpg"
(subclass FinancialInstrument Certificate)	Merge.kif 14374-14374	subclass FinancialInstrument and Certificate

appearance as argument number 2

(range CurrencyFn FinancialInstrument)	FinancialOntology.kif 284-284	range CurrencyFn and FinancialInstrument
(subclass BankCard FinancialInstrument)	FinancialOntology.kif 179-179	subclass BankCard and FinancialInstrument
(subclass Bond FinancialInstrument)	FinancialOntology.kif 2188-2188	subclass Bond and FinancialInstrument
(subclass Check FinancialInstrument)	FinancialOntology.kif 90-90	subclass Check and FinancialInstrument
(subclass Currency FinancialInstrument)	Merge.kif 14378-14378	subclass Currency and FinancialInstrument
(subclass Note FinancialInstrument)	FinancialOntology.kif 86-86	subclass Note and FinancialInstrument
(subclass Receipt FinancialInstrument)	FinancialOntology.kif 3814-3814	subclass Receipt and FinancialInstrument
(subclass Security FinancialInstrument)	FinancialOntology.kif 2010-2010	subclass Security and FinancialInstrument
(subclass Stock FinancialInstrument)	FinancialOntology.kif 2082-2082	subclass Stock and FinancialInstrument
(subclass Title FinancialInstrument)	FinancialOntology.kif 3769-3769	subclass Title and FinancialInstrument
(termFormat ChineseLanguage FinancialInstrument "金融工具")	domainEnglishFormat.kif 23707-23707	termFormat ChineseLanguage, FinancialInstrument and "金融工具"
(termFormat ChineseTraditionalLanguage FinancialInstrument "金融工具")	domainEnglishFormat.kif 23706-23706	termFormat ChineseTraditionalLanguage, FinancialInstrument and "金融工具"
(termFormat EnglishLanguage FinancialInstrument "financial instrument")	domainEnglishFormat.kif 23705-23705	termFormat EnglishLanguage, FinancialInstrument and "financial instrument"

appearance as argument number 3

(domain strikePrice 1 FinancialInstrument)	FinancialOntology.kif 2530-2530	domain strikePrice, 1 and FinancialInstrument
(domain underlier 2 FinancialInstrument)	FinancialOntology.kif 2660-2660	domain underlier, 2 and FinancialInstrument

consequent

(=>
    (instance ?TRANS FinancialTransaction)
    (exists (?OBJ)
        (and
            (patient ?TRANS ?OBJ)
            (instance ?OBJ FinancialInstrument))))

Merge.kif 10927-10932

instance Process and FinancialTransaction
Entity patient Process and Entity instance Entity and FinancialInstrument

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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: