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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - ComputerDesktopImage
ComputerDesktopImage(computer desktop image)

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


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

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


(subclass HomeScreen ComputerDesktopImage) ComputingBrands.kif 3176-3176 Home screen is a subclass of computer desktop image
(termFormat EnglishLanguage ComputerDesktopImage "computer desktop image") domainEnglishFormat.kif 64718-64718 Home screen is a subclass of computer desktop image

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


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


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