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 |
![]() |
![]() |