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

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


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

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


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


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