| 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 3085-3086 | |
| (externalImage SingleOption "http://upload.wikimedia.org/wikipedia/commons/ 1/ 18/ NASDAQ_studio.jpg") | pictureList.kif 11858-11858 | |
| (externalImage SingleOption "http://upload.wikimedia.org/wikipedia/commons/ 7/ 72/ Boerse_01_KMJ.jpg") | pictureList.kif 10257-10257 | |
| (subclass SingleOption OptionStrategy) | FinancialOntology.kif 3083-3083 | Single option is a subclass of option strategy |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage SingleOption "单一选择") | domainEnglishFormat.kif 53214-53214 | |
| (termFormat ChineseTraditionalLanguage SingleOption "單一選擇") | domainEnglishFormat.kif 53213-53213 | |
| (termFormat EnglishLanguage SingleOption "single option") | domainEnglishFormat.kif 53212-53212 |
| antecedent |
|
|
| (=> (instance ?Strategy SingleOption) (equal (CardinalityFn (KappaFn ?Option (patient ?Strategy ?Option))) 1)) |
FinancialOntology.kif 3088-3090 |
|
|
|
|