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 2993-2994
(documentation ComputerDesktopImage ChineseTraditionalLanguage "Image 苗素一個虛擬桌面。 設計來存放一般常用檔案跟應用程式的圖示。") ComputingBrands.kif 2990-2991
(documentation ComputerDesktopImage EnglishLanguage "An Image that depicts a metaphorical desktop. It's designed to hold icons for commonly used files and applications.") ComputingBrands.kif 2986-2988
(documentation ComputerDesktopImage JapaneseLanguage "隠喩的なデスクトップを描写するImage。 一般的に使用されるファイルとアプリケーションのアイコンを保持するように設計されている。") ComputingBrands.kif 2995-2996
(subclass ComputerDesktopImage Image) ComputingBrands.kif 2985-2985 ComputerDesktopImage is a subclass of Image

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


(subclass HomeScreen ComputerDesktopImage) ComputingBrands.kif 3007-3007 Home screen is a subclass of ComputerDesktopImage

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


(=>
    (instance ?CD ComputerDesktopImage)
    (hasPurpose ?CD
        (and
            (refers ?CD ?F)
            (or
                (instance ?F ComputerData)
                (instance ?F ComputerProgram)))))
ComputingBrands.kif 2998-3005


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners