GUIDock - Sigma Knowledge base Browser

appearance as argument number 1

(subclass GUIDock GUIElement)	ComputingBrands.kif 2532-2532	Dock is a subclass of GUI element
(documentation GUIDock EnglishLanguage "A GUIElement of persistent Icons along one side of the screen.")	ComputingBrands.kif 2533-2534	Dock is a subclass of GUI element
(documentation GUIDock ChineseTraditionalLanguage "一個一連貫在螢幕一邊的 Icons 的 GUIElement。")	ComputingBrands.kif 2535-2535	Dock is a subclass of GUI element
(documentation GUIDock ChineseLanguage "一个一连贯在萤幕一边的 Icons 的 GUIElement。")	ComputingBrands.kif 2536-2536	Dock is a subclass of GUI element
(documentation GUIDock JapaneseLanguage "一側面の画面に沿った継続的なIconsのA GUIElement。")	ComputingBrands.kif 2537-2537	Dock is a subclass of GUI element

appearance as argument number 2

(termFormat EnglishLanguage GUIDock "dock")	ComputingBrands.kif 2539-2539
(termFormat ChineseTraditionalLanguage GUIDock "插槽")	ComputingBrands.kif 2540-2540
(termFormat ChineseLanguage GUIDock "插槽")	ComputingBrands.kif 2541-2541
(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))))

If X is an instance of dock, then there exist Y, Z, W such that W is an instance of computer program, W is a program running of Z, Y is an instance of icon, Y expresses Z, and Y is inside the to X