| ExerciseAnOption
|
| appearance as argument number 1 |
|
| (documentation ExerciseAnOption EnglishLanguage "An activity when the owner of the the Option contract invokes his rights. In the case of a call, the option owner buys the underlying stock. In the case of a put, the option owner sells the underlying stock.") | FinancialOntology.kif 2767-2769 | |
| (externalImage ExerciseAnOption "http://upload.wikimedia.org/wikipedia/commons/ 4/ 4c/ E_ticker.jpg") | pictureList.kif 10980-10980 | |
| (externalImage ExerciseAnOption "http://upload.wikimedia.org/wikipedia/commons/ 7/ 72/ Boerse_01_KMJ.jpg") | pictureList.kif 10009-10009 | |
| (subclass ExerciseAnOption FinancialTransaction) | FinancialOntology.kif 2766-2766 |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage ExerciseAnOption "执行一个选项") | domainEnglishFormat.kif 22756-22756 | |
| (termFormat ChineseTraditionalLanguage ExerciseAnOption "執行一個選項") | domainEnglishFormat.kif 22755-22755 | |
| (termFormat EnglishLanguage ExerciseAnOption "exercise an option") | domainEnglishFormat.kif 22754-22754 |
| antecedent |
|
|
| (=> (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 2771-2783 | |
| (=> (and (instance ?Exercise ExerciseAnOption) (patient ?Exercise ?Option) (property ?Option PutOption) (time ?Exercise ?Time) (underlier ?Option ?Stocks)) (exists (?Sell) (and (instance ?Sell Selling) (patient ?Sell ?Stocks) (time ?Sell ?Time) (measure ?Stocks (MeasureFn 100 ShareUnit))))) |
FinancialOntology.kif 2785-2797 |
| consequent |
|
|
| (=> (and (property ?Option AmericanStyleOption) (optionHolder ?Option ?Agent) (agreementExpirationDate ?Option ?Day)) (holdsRight (exists (?Exercise) (and (instance ?Exercise ExerciseAnOption) (patient ?Exercise ?Option) (before (EndFn (WhenFn ?Exercise)) (EndFn ?Day)))) ?Agent)) |
FinancialOntology.kif 2805-2817 | |
| (=> (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 2825-2837 |
|
|
|