| SingleOption(single option)
|
| appearance as argument number 1 |
|
| (documentation SingleOption EnglishLanguage "A put or call option by itself, as opposed to multiple options as used in a spread or straddle.") | FinancialOntology.kif 3099-3100 | |
| (externalImage SingleOption "http://upload.wikimedia.org/wikipedia/commons/ 1/ 18/ NASDAQ_studio.jpg") | pictureList.kif 11851-11851 | |
| (externalImage SingleOption "http://upload.wikimedia.org/wikipedia/commons/ 7/ 72/ Boerse_01_KMJ.jpg") | pictureList.kif 10255-10255 | |
| (subclass SingleOption OptionStrategy) | FinancialOntology.kif 3097-3097 | Single option is a subclass of option strategy |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage SingleOption "单一选择") | domainEnglishFormat.kif 53207-53207 | |
| (termFormat ChineseTraditionalLanguage SingleOption "單一選擇") | domainEnglishFormat.kif 53206-53206 | |
| (termFormat EnglishLanguage SingleOption "single option") | domainEnglishFormat.kif 53205-53205 |
| antecedent |
|
|
| (=> (instance ?Strategy SingleOption) (equal (CardinalityFn (KappaFn ?Option (patient ?Strategy ?Option))) 1)) |
FinancialOntology.kif 3102-3104 |
|
|
|
|