GUIDock |
appearance as argument number 1 |
(documentation GUIDock ChineseLanguage "一个一连贯在萤幕一边的 Icons 的 GUIElement。") | ComputingBrands.kif 2536-2536 | |
(documentation GUIDock ChineseTraditionalLanguage "一個一連貫在螢幕一邊的 Icons 的 GUIElement。") | ComputingBrands.kif 2535-2535 | |
(documentation GUIDock EnglishLanguage "A GUIElement of persistent Icons along one side of the screen.") | ComputingBrands.kif 2533-2534 | |
(documentation GUIDock JapaneseLanguage "一側面の画面に沿った継続的なIconsのA GUIElement。") | ComputingBrands.kif 2537-2537 | |
(subclass GUIDock GUIElement) | ComputingBrands.kif 2532-2532 |
appearance as argument number 2 |
(termFormat ChineseLanguage GUIDock "插槽") | ComputingBrands.kif 2541-2541 | |
(termFormat ChineseTraditionalLanguage GUIDock "插槽") | ComputingBrands.kif 2540-2540 | |
(termFormat EnglishLanguage GUIDock "dock") | ComputingBrands.kif 2539-2539 | |
(termFormat JapaneseLanguage GUIDock "ドック") | ComputingBrands.kif 2542-2542 |
antecedent |
(=> (instance ?G GUIDock) (exists (?I ?P ?CP) (and (instance ?CP ComputerProgram) (programRunning ?P ?CP) (instance ?I Icon) (represents ?I ?P) (orientation ?I ?G Inside)))) |
ComputingBrands.kif 2544-2552 |