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 15647-15648
(externalImage FinancialInstrument "http://upload.wikimedia.org/wikipedia/ commons/ 1/ 1f/ Akcja1925NobelBr.jpg")	pictureList.kif 2815-2815
(externalImage FinancialInstrument "http://upload.wikimedia.org/wikipedia/ commons/ 4/ 4d/ Usdollar100front.jpg")	pictureList.kif 2676-2676
(externalImage FinancialInstrument "http://upload.wikimedia.org/wikipedia/ commons/ 5/ 58/ Sears_Aktie.jpg")	pictureList.kif 2816-2816
(externalImage FinancialInstrument "http://upload.wikimedia.org/wikipedia/ commons/ 7/ 7c/ GeorgSchleberAG_Aktie.jpg")	pictureList.kif 2812-2812
(externalImage FinancialInstrument "http://upload.wikimedia.org/wikipedia/ commons/ f/ fc/ Heinz_Aktie.jpg")	pictureList.kif 2813-2813
(externalImage FinancialInstrument "http://upload.wikimedia.org/wikipedia/ commons/ f/ fe/ RWE_1910.jpg")	pictureList.kif 2814-2814
(subclass FinancialInstrument Certificate)	Merge.kif 15646-15646	FinancialInstrument e' uma sub-classe de Certificado

appearance as argument number 2

(range CurrencyFn FinancialInstrument)	FinancialOntology.kif 284-284	O contra-dominio de CurrencyFn e' uma instancia de FinancialInstrument
(subclass BankCard FinancialInstrument)	FinancialOntology.kif 179-179	BankCard e' uma sub-classe de FinancialInstrument
(subclass Bond FinancialInstrument)	FinancialOntology.kif 2259-2259	Bond e' uma sub-classe de FinancialInstrument
(subclass Check FinancialInstrument)	FinancialOntology.kif 90-90	Check e' uma sub-classe de FinancialInstrument
(subclass Currency FinancialInstrument)	Merge.kif 15650-15650	Currency e' uma sub-classe de FinancialInstrument
(subclass Note FinancialInstrument)	FinancialOntology.kif 86-86	Note e' uma sub-classe de FinancialInstrument
(subclass Receipt FinancialInstrument)	FinancialOntology.kif 3972-3972	Receipt e' uma sub-classe de FinancialInstrument
(subclass Security FinancialInstrument)	FinancialOntology.kif 2080-2080	Security e' uma sub-classe de FinancialInstrument
(subclass Stock FinancialInstrument)	FinancialOntology.kif 2152-2152	Stock e' uma sub-classe de FinancialInstrument
(subclass Title FinancialInstrument)	FinancialOntology.kif 3928-3928	Title e' uma sub-classe de FinancialInstrument
(termFormat ChineseLanguage FinancialInstrument "金融工具")	domainEnglishFormat.kif 23774-23774
(termFormat ChineseTraditionalLanguage FinancialInstrument "金融工具")	domainEnglishFormat.kif 23773-23773
(termFormat EnglishLanguage FinancialInstrument "financial instrument")	domainEnglishFormat.kif 23772-23772

appearance as argument number 3

(domain strikePrice 1 FinancialInstrument)	FinancialOntology.kif 2609-2609	O argumento numero 1 de strikePrice e' uma instancia de FinancialInstrument
(domain underlier 2 FinancialInstrument)	FinancialOntology.kif 2740-2740	O argumento numero 2 de underlier e' uma instancia de FinancialInstrument

consequent

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

Merge.kif 11840-11845