FinancialInstrument
|
|
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 15693-15694 | |
(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 15692-15692 | FinancialInstrument est une sous-classe de certificat |
appearance as argument number 2 |
appearance as argument number 3 |
(domain strikePrice 1 FinancialInstrument) | FinancialOntology.kif 2609-2609 | Le nombre 1 argument de strikePrice est une instance de FinancialInstrument |
(domain underlier 2 FinancialInstrument) | FinancialOntology.kif 2740-2740 | Le nombre 2 argument de underlier est une instance de FinancialInstrument |
consequent |
(=> (instance ?TRANS FinancialTransaction) (exists (?OBJ) (and (patient ?TRANS ?OBJ) (instance ?OBJ FinancialInstrument)))) |
Merge.kif 11886-11891 |
|