| AmericanStyleOption
|
| appearance as argument number 1 |
|
| (documentation AmericanStyleOption EnglishLanguage "An option that can be exercised at any time prior to its expiration date") | FinancialOntology.kif 2802-2803 | |
| (externalImage AmericanStyleOption "http://upload.wikimedia.org/wikipedia/ commons/ 1/ 18/ NASDAQ_studio.jpg") | pictureList.kif 10399-10399 | |
| (externalImage AmericanStyleOption "http://upload.wikimedia.org/wikipedia/ commons/ 4/ 4c/ E_ticker.jpg") | pictureList.kif 10398-10398 | |
| (externalImage AmericanStyleOption "http://upload.wikimedia.org/wikipedia/ commons/ 7/ 72/ Boerse_01_KMJ.jpg") | pictureList.kif 9881-9881 | |
| (subAttribute AmericanStyleOption Option) | FinancialOntology.kif 2801-2801 |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage AmericanStyleOption "美式风格选项") | domainEnglishFormat.kif 7213-7213 | |
| (termFormat ChineseTraditionalLanguage AmericanStyleOption "美式風格選項") | domainEnglishFormat.kif 7212-7212 | |
| (termFormat EnglishLanguage AmericanStyleOption "american style option") | domainEnglishFormat.kif 7211-7211 |
| antecedent |
|
|
| (=> (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 |
|
|
|