more pictures...
| FinancialInstrument(金融工具)
more pictures... | |
| 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 15782-15783 | |
| (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 15781-15781 | 子類 金融工具 and Certificate |
| appearance as argument number 2 |
|
|
| (range CurrencyFn FinancialInstrument) | FinancialOntology.kif 286-286 | 範圍 貨幣 and 金融工具 |
| (subclass BankCard FinancialInstrument) | FinancialOntology.kif 181-181 | 子類 銀行卡 and 金融工具 |
| (subclass Bond FinancialInstrument) | FinancialOntology.kif 2276-2276 | 子類 鍵 and 金融工具 |
| (subclass Check FinancialInstrument) | FinancialOntology.kif 92-92 | 子類 校驗 and 金融工具 |
| (subclass Currency FinancialInstrument) | Merge.kif 15785-15785 | 子類 貨幣 and 金融工具 |
| (subclass Note FinancialInstrument) | FinancialOntology.kif 88-88 | 子類 注意 and 金融工具 |
| (subclass Receipt FinancialInstrument) | FinancialOntology.kif 3990-3990 | 子類 收據 and 金融工具 |
| (subclass Security FinancialInstrument) | FinancialOntology.kif 2097-2097 | 子類 安全 and 金融工具 |
| (subclass Stock FinancialInstrument) | FinancialOntology.kif 2169-2169 | 子類 股票 and 金融工具 |
| (subclass Title FinancialInstrument) | FinancialOntology.kif 3946-3946 | 子類 標題 and 金融工具 |
| (termFormat ChineseLanguage FinancialInstrument "金融工具") | domainEnglishFormat.kif 23779-23779 | 子類 標題 and 金融工具 |
| (termFormat ChineseTraditionalLanguage FinancialInstrument "金融工具") | domainEnglishFormat.kif 23778-23778 | 子類 標題 and 金融工具 |
| (termFormat EnglishLanguage FinancialInstrument "financial instrument") | domainEnglishFormat.kif 23777-23777 | 子類 標題 and 金融工具 |
| appearance as argument number 3 |
|
|
| (domain strikePrice 1 FinancialInstrument) | FinancialOntology.kif 2626-2626 | 域 執行價格, 1 and 金融工具 |
| (domain underlier 2 FinancialInstrument) | FinancialOntology.kif 2757-2757 | 域 底層證券, 2 and 金融工具 |
| consequent |
|
|
| (=> (instance ?TRANS FinancialTransaction) (exists (?OBJ) (and (patient ?TRANS ?OBJ) (instance ?OBJ FinancialInstrument)))) |
Merge.kif 11975-11980 |
|
|
|