| EuropeanStyleOption
| |
| appearance as argument number 1 |
|
|
| (documentation EuropeanStyleOption EnglishLanguage "An option that can be exercised only during a specified period of time just prior to its expiration.") | FinancialOntology.kif 2725-2726 | |
| (externalImage EuropeanStyleOption "http://upload.wikimedia.org/wikipedia/ commons/ 4/ 45/ Bulle_und_B%C3%A4r_Frankfurt.jpg") | pictureList.kif 11002-11002 | externalImage EuropeanStyleOption and "http://upload.wikimedia.org/wikipedia/commons/4/45/ Bulle_und_B%C3%A4r_Frankfurt.jpg" |
| (externalImage EuropeanStyleOption "http://upload.wikimedia.org/wikipedia/ commons/ 4/ 4c/ E-ticker.jpg") | pictureList.kif 11001-11001 | externalImage EuropeanStyleOption and "http://upload.wikimedia.org/wikipedia/commons/4/4c/ E-ticker.jpg" |
| (externalImage EuropeanStyleOption "http://upload.wikimedia.org/wikipedia/ commons/ 7/ 72/ Boerse_01_KMJ.jpg") | pictureList.kif 10026-10026 | externalImage EuropeanStyleOption and "http://upload.wikimedia.org/wikipedia/commons/7/72/ Boerse_01_KMJ.jpg" |
| (subAttribute EuropeanStyleOption Option) | FinancialOntology.kif 2724-2724 | EuropeanStyleOption は Option の subattribute では %n |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage EuropeanStyleOption "欧式风格的选择") | domainEnglishFormat.kif 22525-22525 | termFormat ChineseLanguage, EuropeanStyleOption and "欧式风格的选择" |
| (termFormat ChineseTraditionalLanguage EuropeanStyleOption "歐式風格的選擇") | domainEnglishFormat.kif 22524-22524 | termFormat ChineseTraditionalLanguage, EuropeanStyleOption and "歐式風格的選擇" |
| (termFormat EnglishLanguage EuropeanStyleOption "european style option") | domainEnglishFormat.kif 22523-22523 | termFormat EnglishLanguage, EuropeanStyleOption and "european style option" |
| antecedent |
|
|
| (=> (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 2728-2740 |
|
|
|