GUIDock - Sigma Knowledge base Browser

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	Dock is a subclass of GUI element

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