Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
Option(option)
more pictures... |  | incentive_option, incentive_stock_option, option |
| appearance as argument number 1 |
|
|
| (subclass Option FinancialContract) | FinancialOntology.kif 2575-2575 | Option is a subclass of financial contract |
| (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 2576-2577 | Option is a subclass of financial contract |
| (externalImage Option "http://upload.wikimedia.org/wikipedia/commons/2/25/ NYSESecurity.JPG") | pictureList.kif 10170-10170 | Option is a subclass of financial contract |
| (externalImage Option "http://upload.wikimedia.org/wikipedia/en/5/57/ShortStraddle.jpg") | pictureList.kif 11554-11554 | Option is a subclass of financial contract |
| (externalImage Option "http://upload.wikimedia.org/wikipedia/en/6/67/Covered_Call.jpg") | pictureList.kif 11555-11555 | Option is a subclass of financial contract |
| (externalImage Option "http://upload.wikimedia.org/wikipedia/en/7/7f/CallOption.png") | pictureList.kif 11556-11556 | Option is a subclass of financial contract |
| (externalImage Option "http://upload.wikimedia.org/wikipedia/en/d/d4/LongButterfly.jpg") | pictureList.kif 11557-11557 | Option is a subclass of financial contract |
| (externalImage Option "http://upload.wikimedia.org/wikipedia/en/f/f5/CallWrite.png") | pictureList.kif 11558-11558 | Option is a subclass of financial contract |
| (externalImage Option "http://upload.wikimedia.org/wikipedia/commons/7/72/ Boerse_01_KMJ.jpg") | pictureList.kif 11560-11560 | Option is a subclass of financial contract |
| (externalImage Option "http://upload.wikimedia.org/wikipedia/commons/4/4c/ E_ticker.jpg") | pictureList.kif 11561-11561 | Option is a subclass of financial contract |
| appearance as argument number 2 |
|
|
| appearance as argument number 3 |
|
|
| (domain inTheMoney 1 Option) | FinancialOntology.kif 3015-3015 | The number 1 argument of in the money is an instance of option |
| (domain atTheMoney 1 Option) | FinancialOntology.kif 3048-3048 | The number 1 argument of at the money is an instance of option |
| (domain outOfTheMoney 1 Option) | FinancialOntology.kif 3073-3073 | The number 1 argument of out of the money is an instance of option |
| antecedent |
|
|
| (=> (instance ?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 2579-2590 | If X is an instance of option, then there exist Y, Z,, , W and V such that equal Y and call option or equal Y and put option and X the attribute Y and X has expiration Z and V is a strike price of X and W is an underlier of X and the measure of W is 100 share unit(s) |
| consequent |
|
|
| (=> (optionHolder ?OPTION ?AGENT) (property ?OPTION Option)) |
FinancialOntology.kif 2624-2626 | If X holds Y, then Y the attribute option |
| (=> (optionSeller ?OPTION ?AGENT) (property ?OPTION Option)) |
FinancialOntology.kif 2635-2637 | If X sells Y, then Y the attribute option |
| (=> (premium ?OPTION ?AMT) (property ?OPTION Option)) |
FinancialOntology.kif 2752-2754 | If X is a premium of Y, then Y the attribute option |
| (=> (underlier ?OPTION ?FI) (property ?OPTION Option)) |
FinancialOntology.kif 2770-2772 | If X is an underlier of Y, then Y the attribute option |
| (=> (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 3154-3167 | If X is an instance of spread option, then All of the following hold: (1) there exist Y, Z,, , W,, , V (2) U such that Y is an instance of option (3) Z is an instance of option (4) W is an instance of buying (5) V is an instance of selling (6) W is a subprocess of X (7) V is a subprocess of X (8) Y is a patient of W (9) Z is a patient of V (10) W exists during U (11) V exists during U |
| (=> (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 3206-3230 | If X is an instance of straddle, then All of the following hold: (1) there exist Y, Z,, , W,, , V (2) U such that equal the number of instances in the class described by Y (3) V (4) equal the number of instances in the class described by U (5) V (6) T T is an instance of option (7) T is a part of XT has expiration W (8) Z is a strike price of T |
|