Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
SpreadOption(spread option)
|
| appearance as argument number 1 |
|
| (subclass SpreadOption OptionStrategy) | FinancialOntology.kif 3149-3149 | Spread option is a subclass of option strategy |
| (documentation SpreadOption EnglishLanguage "The purchase of one option and the simultaneous sale of a related option, such as two options of the same class but different strike prices and/ or expiration dates.") | FinancialOntology.kif 3150-3152 | Spread option is a subclass of option strategy |
| (externalImage SpreadOption "http://upload.wikimedia.org/wikipedia/commons/ 7/ 72/ Boerse_01_KMJ.jpg") | pictureList.kif 10271-10271 | Spread option is a subclass of option strategy |
| (externalImage SpreadOption "http://upload.wikimedia.org/wikipedia/commons/ 4/ 4c/ E_ticker.jpg") | pictureList.kif 11883-11883 | Spread option is a subclass of option strategy |
| (externalImage SpreadOption "http://upload.wikimedia.org/wikipedia/en/d/ d4/ LongButterfly.jpg") | pictureList.kif 11884-11884 | Spread option is a subclass of option strategy |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (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 |
|