| 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 2757-2759 | |
| (externalImage ExerciseAnOption "http://upload.wikimedia.org/wikipedia/commons/ 4/ 4c/ E-ticker.jpg") | pictureList.kif 11003-11003 | |
| (externalImage ExerciseAnOption "http://upload.wikimedia.org/wikipedia/commons/ 7/ 72/ Boerse_01_KMJ.jpg") | pictureList.kif 10020-10020 | |
| (subclass ExerciseAnOption FinancialTransaction) | FinancialOntology.kif 2756-2756 | 执行一个选项 是 金融交易 的 subclass |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage ExerciseAnOption "执行一个选项") | domainEnglishFormat.kif 22743-22743 | |
| (termFormat ChineseTraditionalLanguage ExerciseAnOption "執行一個選項") | domainEnglishFormat.kif 22742-22742 | |
| (termFormat EnglishLanguage ExerciseAnOption "exercise an option") | domainEnglishFormat.kif 22741-22741 |
| 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 2761-2773 | |
| (=> (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 2775-2787 |
| 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 2795-2807 | |
| (=> (and (property ?Option EuropeanStyleOption) (agreementExpirationDate ?Option ?Date)) (exists (?Period ?Time) (and (instance ?Period TimeInterval) (finishes ?Period ?Date) (=> (and (instance ?Exercise ExerciseAnOption) (equal (WhenFn ?Exercise) ?Time)) (temporalPart ?Time ?Period))))) |
FinancialOntology.kif 2815-2827 |
|
|
|