| 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 2750-2752 | |
| (externalImage ExerciseAnOption "http://upload.wikimedia.org/wikipedia/commons/ 4/ 4c/ E-ticker.jpg") | pictureList.kif 10986-10986 | |
| (externalImage ExerciseAnOption "http://upload.wikimedia.org/wikipedia/commons/ 7/ 72/ Boerse_01_KMJ.jpg") | pictureList.kif 10010-10010 | |
| (subclass ExerciseAnOption FinancialTransaction) | FinancialOntology.kif 2749-2749 |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage ExerciseAnOption "执行一个选项") | domainEnglishFormat.kif 22763-22763 | |
| (termFormat ChineseTraditionalLanguage ExerciseAnOption "執行一個選項") | domainEnglishFormat.kif 22762-22762 | |
| (termFormat EnglishLanguage ExerciseAnOption "exercise an option") | domainEnglishFormat.kif 22761-22761 |
| 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 2754-2766 | |
| (=> (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 2768-2780 |
| 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 2788-2800 | |
| (=> (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 2808-2820 |
|
|
|