Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
EuropeanStyleOption(european style option)
|
| appearance as argument number 1 |
|
| (subclass EuropeanStyleOption Option) | FinancialOntology.kif 2825-2825 | European style option is a subclass of option |
| (documentation EuropeanStyleOption EnglishLanguage "An option that can be exercised only during a specified period of time just prior to its expiration.") | FinancialOntology.kif 2826-2827 | European style option is a subclass of option |
| (externalImage EuropeanStyleOption "http://upload.wikimedia.org/wikipedia/ commons/ 7/ 72/ Boerse_01_KMJ.jpg") | pictureList.kif 10005-10005 | European style option is a subclass of option |
| (externalImage EuropeanStyleOption "http://upload.wikimedia.org/wikipedia/ commons/ 4/ 4c/ E_ticker.jpg") | pictureList.kif 10967-10967 | European style option is a subclass of option |
| (externalImage EuropeanStyleOption "http://upload.wikimedia.org/wikipedia/ commons/ 4/ 45/ Bulle_und_B%C3%A4r_Frankfurt.jpg") | pictureList.kif 10968-10968 | European style option is a subclass of option |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (and (property ?Option EuropeanStyleOption) (agreementExpirationDate ?Option ?Date)) (exists (?Period ?Time ?Exercise) (and (instance ?Period TimeInterval) (equal (EndFn ?Period) ?Date) (=> (and (instance ?Exercise ExerciseAnOption) (equal (WhenFn ?Exercise) ?Time)) (temporalPart ?Time ?Period))))) |
FinancialOntology.kif 2829-2841 | If X the attribute european style option and X has expiration Y, then All of the following hold: (1) there exist Z, W (2) V such that Z is an instance of timeframe (3) equal the end of Z (4) Y (5) V is an instance of exercise an option (6) equal the time of existence of V (7) WW is a part of Z |
|