FolderIcon - Sigma Knowledge base Browser

appearance as argument number 1

(subclass FolderIcon Icon)	ComputingBrands.kif 2909-2909	Folder is a subclass of icon
(documentation FolderIcon EnglishLanguage "A symbol of a paper file folder that is used to represent a collection of ComputerDataFiles in a GUI.")	ComputingBrands.kif 2910-2911	Folder is a subclass of icon
(documentation FolderIcon ChineseTraditionalLanguage "一個文件資料夾的符號用來表示在GUI 中 ComputerDataFiles 的系列。")	ComputingBrands.kif 2913-2914	Folder is a subclass of icon
(documentation FolderIcon ChineseLanguage "一个文件资料夹的符号用来表示在GUI 中 ComputerDataFiles 的系列。")	ComputingBrands.kif 2916-2917	Folder is a subclass of icon
(documentation FolderIcon JapaneseLanguage "用紙ファイルフォルダーのシンボルは GUIでComputerDataFilesのコレクションを表す。")	ComputingBrands.kif 2919-2920	Folder is a subclass of icon

appearance as argument number 2

(termFormat EnglishLanguage FolderIcon "folder")	ComputingBrands.kif 2922-2922
(termFormat ChineseTraditionalLanguage FolderIcon "資料夾")	ComputingBrands.kif 2923-2923
(termFormat ChineseLanguage FolderIcon "资料夹")	ComputingBrands.kif 2924-2924
(termFormat JapaneseLanguage FolderIcon "folder")	ComputingBrands.kif 2925-2925

antecedent

(=>
    (instance ?F FolderIcon)
    (hasPurpose ?F
        (exists (?CD)
            (and
                (instance ?CD ComputerDirectory)
                (represents ?F ?CD)))))

If X is an instance of folder, then X has the purpose there exists Y such that Y is an instance of computer directory and X expresses Y