Option
|
|
appearance as argument number 1 |
(documentation Option EnglishLanguage "An option is a contract to buy or sell 100 shares of a stock at a fixed price (the strike price) on or before a fixed date.") | FinancialOntology.kif 2537-2538 | |
(externalImage Option "http://upload.wikimedia.org/wikipedia/commons/2/25/ NYSESecurity.JPG") | pictureList.kif 10172-10172 | |
(externalImage Option "http://upload.wikimedia.org/wikipedia/commons/4/4c/ E-ticker.jpg") | pictureList.kif 11568-11568 | |
(externalImage Option "http://upload.wikimedia.org/wikipedia/commons/7/72/ Boerse_01_KMJ.jpg") | pictureList.kif 11567-11567 | |
(externalImage Option "http://upload.wikimedia.org/wikipedia/en/5/57/ShortStraddle.jpg") | pictureList.kif 11561-11561 | |
(externalImage Option "http://upload.wikimedia.org/wikipedia/en/6/67/Covered_Call.jpg") | pictureList.kif 11562-11562 | |
(externalImage Option "http://upload.wikimedia.org/wikipedia/en/7/7f/CallOption.png") | pictureList.kif 11563-11563 | |
(externalImage Option "http://upload.wikimedia.org/wikipedia/en/d/d4/LongButterfly.jpg") | pictureList.kif 11564-11564 | |
(externalImage Option "http://upload.wikimedia.org/wikipedia/en/f/f5/CallWrite.png") | pictureList.kif 11565-11565 | |
(subAttribute Option FinancialContract) | FinancialOntology.kif 2536-2536 | 选项 是 金融合约 的 subAttribute |
appearance as argument number 2 |
appearance as argument number 3 |
(domain atTheMoney 1 Option) | FinancialOntology.kif 3029-3029 | 在钱 的 1 数量 是 选项 的 instance |
(domain inTheMoney 1 Option) | FinancialOntology.kif 2996-2996 | 在钱 的 1 数量 是 选项 的 instance |
(domain outOfTheMoney 1 Option) | FinancialOntology.kif 3045-3045 | 没钱了 的 1 数量 是 选项 的 instance |
antecedent |
(<=> (exists (?Stock ?StockPrice ?StrikePrice) (and (instance ?Option Option) (underlier ?Option ?Stock) (price ?Stock ?StockPrice ?Time) (strikePrice ?Option ?StrikePrice) (equal ?StockPrice ?StrikePrice))) (atTheMoney ?Option ?Time)) |
FinancialOntology.kif 3034-3042 | 有存在 金融工具, 那个 金融工具Price, and 和 另一个 货币测量 这样 协议 是 选项 的 instance 和 那个 金融工具 是 那个 协议 的 underlier 和 那个 金融工具 是 对于 施事体 的 price 那个 金融工具Price 和 那个 另外 货币测量 是 那个 协议 的 strike 价钱 和 那个 金融工具Price equal 那个 另外 货币测量 若且唯若 那个 施事体 是 那个 协议 at 的钱 |
(=> (and (property ?Option Option) (optionHolder ?Option ?Agent) (strikePrice ?Option ?Price) (agreementExpirationDate ?Option ?ExpDate) (price ?Stocks ?Price ?Time) (instance ?Time TimeInterval) (before (EndFn ?Time) (BeginFn ?ExpDate)) (underlier ?Option ?Stocks)) (holdsRight (KappaFn ?Sell (and (instance ?Sell Selling) (patient ?Sell ?Stocks) (time ?Sell ?Time) (measure ?Stocks (MeasureFn 100 ShareUnit)) (agent ?Sell ?Agent))) ?Agent)) |
FinancialOntology.kif 2669-2685 | |
(=> (and (property ?Option Option) (optionHolder ?Option ?Agent) (strikePrice ?Option ?Price) (agreementExpirationDate ?Option ?ExpDate) (underlier ?Option ?Stocks) (price ?Stocks ?Price ?Time) (instance ?Time TimeInterval) (before (EndFn ?Time) (BeginFn ?ExpDate))) (holdsRight (KappaFn ?Buy (and (instance ?Buy Buying) (patient ?Buy ?Stocks) (time ?Buy ?Time) (measure ?Stocks (MeasureFn 100 ShareUnit)) (agent ?Buy ?Agent))) ?Agent)) |
FinancialOntology.kif 2623-2639 | |
(=> (and (property ?Option Option) (optionSeller ?Option ?Agent) (strikePrice ?Option ?Price) (agreementExpirationDate ?Option ?ExpDate) (price ?Stocks ?Price ?Time) (instance ?Time TimeInterval) (before (EndFn ?Time) (BeginFn ?ExpDate)) (underlier ?Option ?Stocks)) (holdsObligation (KappaFn ?Buy (and (instance ?Buy Buying) (patient ?Buy ?Stocks) (time ?Buy ?Time) (measure ?Stocks (MeasureFn 100 ShareUnit)) (agent ?Buy ?Agent))) ?Agent)) |
FinancialOntology.kif 2687-2703 | |
(=> (and (property ?Option Option) (optionSeller ?Option ?Seller) (strikePrice ?Option ?Price) (agreementExpirationDate ?Option ?ExpDate) (underlier ?Option ?Stocks) (price ?Stocks ?Price ?Time) (instance ?Time TimeInterval) (before (EndFn ?Time) (BeginFn ?ExpDate))) (holdsObligation (KappaFn ?Sell (and (instance ?Sell Selling) (patient ?Sell ?Stocks) (time ?Sell ?Time) (measure ?Stocks (MeasureFn 100 ShareUnit)) (agent ?Sell ?Agent))) ?Seller)) |
FinancialOntology.kif 2641-2659 | |
(=> (property ?Option Option) (exists (?Type ?Date ?Stock ?Price) (and (or (equal ?Type CallOption) (equal ?Type PutOption)) (property ?Option ?Type) (agreementExpirationDate ?Option ?Date) (strikePrice ?Option ?Price) (underlier ?Option ?Stock) (measure ?Stock (MeasureFn 100 ShareUnit))))) |
FinancialOntology.kif 2540-2551 |
consequent |
(=> (instance ?Spread SpreadOption) (exists (?Option1 ?Option2 ?Buy ?Sell ?Time) (and (instance ?Option1 Option) (instance ?Option2 Option) (instance ?Buy Buying) (instance ?Sell Selling) (subProcess ?Buy ?Spread) (subProcess ?Sell ?Spread) (patient ?Buy ?Option1) (patient ?Sell ?Option2) (time ?Buy ?Time) (time ?Sell ?Time)))) |
FinancialOntology.kif 3097-3110 |
|
(=> (instance ?Straddle Straddle) (exists (?Call ?Price ?Date ?Number ?Put) (and (equal (CardinalityFn (KappaFn ?Call (and (instance ?Call CallOption) (part ?Call ?Straddle)))) ?Number) (equal (CardinalityFn (KappaFn ?Put (and (instance ?Put PutOption) (part ?Put ?Straddle)))) ?Number) (forall (?Option) (=> (and (instance ?Option Option) (part ?Option ?Straddle)) (and (agreementExpirationDate ?Option ?Date) (strikePrice ?Option ?Price))))))) |
FinancialOntology.kif 3149-3173 | |
(=> (optionHolder ?OPTION ?AGENT) (property ?OPTION Option)) |
FinancialOntology.kif 2591-2593 | |
(=> (optionSeller ?OPTION ?AGENT) (property ?OPTION Option)) |
FinancialOntology.kif 2604-2606 | |
(=> (premium ?OPTION ?AMT) (property ?OPTION Option)) |
FinancialOntology.kif 2725-2727 | |
(=> (underlier ?OPTION ?FI) (property ?OPTION Option)) |
FinancialOntology.kif 2745-2747 |