Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - ComputerDesktopImage
ComputerDesktopImage

appearance as argument number 1
-------------------------


(documentation ComputerDesktopImage ChineseLanguage "Image 苗素一个虚拟桌面。 设计来存放一般常用档案跟应用程式的图示。") ComputingBrands.kif 3130-3131
(documentation ComputerDesktopImage ChineseTraditionalLanguage "Image 苗素一個虛擬桌面。 設計來存放一般常用檔案跟應用程式的圖示。") ComputingBrands.kif 3127-3128
(documentation ComputerDesktopImage EnglishLanguage "An Image that depicts a metaphorical desktop. It's designed to hold icons for commonly used files and applications.") ComputingBrands.kif 3123-3125
(documentation ComputerDesktopImage JapaneseLanguage "隠喩的なデスクトップを描写するImage。 一般的に使用されるファイルとアプリケーションのアイコンを保持するように設計されている。") ComputingBrands.kif 3132-3133
(subclass ComputerDesktopImage Image) ComputingBrands.kif 3122-3122

appearance as argument number 2
-------------------------


(subclass HomeScreen ComputerDesktopImage) ComputingBrands.kif 3144-3144

antecedent
-------------------------


(=>
    (instance ?CD ComputerDesktopImage)
    (hasPurpose ?CD
        (and
            (refers ?CD ?F)
            (or
                (instance ?F DigitalData)
                (instance ?F ComputerProgram)))))
ComputingBrands.kif 3135-3142


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners