| ExerciseAnOption(exercise an option)
|
| appearance as argument number 1 |
|
| (externalImage ExerciseAnOption "http://upload.wikimedia.org/wikipedia/commons/ 4/ 4c/ E-ticker.jpg") | pictureList.kif 11003-11003 | |
| (externalImage ExerciseAnOption "http://upload.wikimedia.org/wikipedia/commons/ 7/ 72/ Boerse_01_KMJ.jpg") | pictureList.kif 10020-10020 |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage ExerciseAnOption "执行一个选项") | domainEnglishFormat.kif 22743-22743 | |
| (termFormat ChineseTraditionalLanguage ExerciseAnOption "執行一個選項") | domainEnglishFormat.kif 22742-22742 | |
| (termFormat EnglishLanguage ExerciseAnOption "exercise an option") | domainEnglishFormat.kif 22741-22741 |
|
|
|