| AmericanStyleOption(american style option)
|
| appearance as argument number 1 |
|
| (documentation AmericanStyleOption EnglishLanguage "An option that can be exercised at any time prior to its expiration date") | FinancialOntology.kif 2785-2786 | |
| (externalImage AmericanStyleOption "http://upload.wikimedia.org/wikipedia/ commons/ 1/ 18/ NASDAQ_studio.jpg") | pictureList.kif 10401-10401 | |
| (externalImage AmericanStyleOption "http://upload.wikimedia.org/wikipedia/ commons/ 4/ 4c/ E-ticker.jpg") | pictureList.kif 10400-10400 | |
| (externalImage AmericanStyleOption "http://upload.wikimedia.org/wikipedia/ commons/ 7/ 72/ Boerse_01_KMJ.jpg") | pictureList.kif 9882-9882 | |
| (subAttribute AmericanStyleOption Option) | FinancialOntology.kif 2784-2784 | American style option is a subattribute of option |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage AmericanStyleOption "美式风格选项") | domainEnglishFormat.kif 7214-7214 | |
| (termFormat ChineseTraditionalLanguage AmericanStyleOption "美式風格選項") | domainEnglishFormat.kif 7213-7213 | |
| (termFormat EnglishLanguage AmericanStyleOption "american style option") | domainEnglishFormat.kif 7212-7212 |
| 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 2788-2800 |
|
|
|
|