CallOption
|
|
appearance as argument number 1 |
(documentation CallOption EnglishLanguage "An option contract that gives the holder the right to buy a certain quantity (usually 100 shares) of an underlying security from the writer of the option, at a specified price (the strike price) up to a specified date (the expiration date).") | FinancialOntology.kif 2618-2621 | |
(externalImage CallOption "http://upload.wikimedia.org/wikipedia/commons/ 1/ 18/ NASDAQ_studio.jpg") | pictureList.kif 10567-10567 | |
(externalImage CallOption "http://upload.wikimedia.org/wikipedia/commons/ 4/ 4c/ E-ticker.jpg") | pictureList.kif 10566-10566 | |
(externalImage CallOption "http://upload.wikimedia.org/wikipedia/commons/ 7/ 72/ Boerse_01_KMJ.jpg") | pictureList.kif 9920-9920 | |
(externalImage CallOption "http://upload.wikimedia.org/wikipedia/en/7/7f/ CallOption.png") | pictureList.kif 10568-10568 | |
(externalImage CallOption "http://upload.wikimedia.org/wikipedia/en/f/f5/ CallWrite.png") | pictureList.kif 10569-10569 | |
(subAttribute CallOption Option) | FinancialOntology.kif 2617-2617 | 子屬性 看漲期權 and 選項 |
appearance as argument number 2 |
(termFormat ChineseLanguage CallOption "看涨期权") | domainEnglishFormat.kif 12775-12775 | |
(termFormat ChineseTraditionalLanguage CallOption "看漲期權") | domainEnglishFormat.kif 12774-12774 | |
(termFormat EnglishLanguage CallOption "call option") | domainEnglishFormat.kif 12773-12773 |
antecedent |
(<=> (exists (?Stock ?StockPrice ?StrikePrice) (and (instance ?Option CallOption) (underlier ?Option ?Stock) (price ?Stock (MeasureFn ?StockPrice ?U) ?Time) (instance ?U UnitOfCurrency) (strikePrice ?Option (MeasureFn ?StrikePrice ?U)) (lessThan ?StockPrice ?StrikePrice))) (outOfTheMoney ?Option ?Time)) |
FinancialOntology.kif 3051-3062 | 金融工具 金融工具Price and RealNumber 例 協議 and 看漲期權 金融工具 是 協議 的 underlier 金融工具 是 對於 AutonomousAgent 的 price 測量 金融工具Price and UnitOfMeasure 例 UnitOfMeasure and UnitOfCurrency 測量 RealNumber and UnitOfMeasure 是 協議 的 strike 價錢 少於 金融工具Price and RealNumber AutonomousAgent 是 協議 的 out 資兂短缺 |
(<=> (exists (?Stock ?StockPrice ?StrikePrice) (and (instance ?Option CallOption) (underlier ?Option ?Stock) (price ?Stock (MeasureFn ?StockPrice ?U) ?Time) (instance ?U UnitOfCurrency) (strikePrice ?Option (MeasureFn ?StrikePrice ?U)) (lessThan ?StrikePrice ?StockPrice))) (inTheMoney ?Option ?Time)) |
FinancialOntology.kif 3002-3013 | 金融工具 金融工具Price and RealNumber 例 協議 and 看漲期權 金融工具 是 協議 的 underlier 金融工具 是 對於 AutonomousAgent 的 price 測量 金融工具Price and UnitOfMeasure 例 UnitOfMeasure and UnitOfCurrency 測量 RealNumber and UnitOfMeasure 是 協議 的 strike 價錢 少於 RealNumber and 金融工具Price AutonomousAgent 是 協議 的 in 金錢 |
(=> (and (instance ?Exercise ExerciseAnOption) (patient ?Exercise ?Option) (property ?Option CallOption) (time ?Exercise ?Time) (underlier ?Option ?Stocks)) (exists (?Buy) (and (instance ?Buy Buying) (patient ?Buy ?Stocks) (time ?Buy ?Time) (measure ?Stocks (MeasureFn 100 ShareUnit))))) |
FinancialOntology.kif 2754-2766 |
consequent |