Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| ComputerDesktopImage(computer desktop image) |
| appearance as argument number 1 |
|
| (subclass ComputerDesktopImage Image) | ComputingBrands.kif 3061-3061 | Computer desktop image is a subclass of image |
| (documentation ComputerDesktopImage EnglishLanguage "An Image that depicts a metaphorical desktop. It's designed to hold icons for commonly used files and applications.") | ComputingBrands.kif 3062-3064 | Computer desktop image is a subclass of image |
| (documentation ComputerDesktopImage ChineseTraditionalLanguage "Image 苗素一個虛擬桌面。 設計來存放一般常用檔案跟應用程式的圖示。") | ComputingBrands.kif 3066-3067 | Computer desktop image is a subclass of image |
| (documentation ComputerDesktopImage ChineseLanguage "Image 苗素一个虚拟桌面。 设计来存放一般常用档案跟应用程式的图示。") | ComputingBrands.kif 3069-3070 | Computer desktop image is a subclass of image |
| (documentation ComputerDesktopImage JapaneseLanguage "隠喩的なデスクトップを描写するImage。 一般的に使用されるファイルとアプリケーションのアイコンを保持するように設計されている。") | ComputingBrands.kif 3071-3072 | Computer desktop image is a subclass of image |
| appearance as argument number 2 |
|
|
| (subclass HomeScreen ComputerDesktopImage) | ComputingBrands.kif 3083-3083 | Home screen is a subclass of computer desktop image |
| (termFormat EnglishLanguage ComputerDesktopImage "computer desktop image") | domainEnglishFormat.kif 64673-64673 | 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 3074-3081 | If X is an instance of computer desktop image, then X has the purpose X includes a reference to Y and Y is an instance of digital data or Y is an instance of computer program |
|