| EuropeanStyleOption(european style option)
| | european_style_option, 欧式风格的选择, 歐式風格的選擇 |
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2725-2726 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 11002-11002 | "http://upload.wikimedia.org/wikipedia/commons/4/45/ Bulle_und_B%C3%A4r_Frankfurt.jpg" is a URL depicting european style option |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 11001-11001 | "http://upload.wikimedia.org/wikipedia/commons/4/4c/ E-ticker.jpg" is a URL depicting european style option |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 10026-10026 | "http://upload.wikimedia.org/wikipedia/commons/7/72/ Boerse_01_KMJ.jpg" is a URL depicting european style option |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2724-2724 | European style option is a subattribute of option |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 22525-22525 | "欧式风格的选择" is the printable form of european style option in ChineseLanguage |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 22524-22524 | "歐式風格的選擇" is the printable form of european style option in ChineseTraditionalLanguage |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 22523-22523 | "european style option" is the printable form of european style option in english language |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2728-2740 |
|
|
|
|