|
|
   HomeScreen
|
|
|
| appearance as argument number 1 |
|
|
| (documentation HomeScreen ChineseLanguage "一个显示在现代装置里的影像用来苗素在 Computer 一般常用的程式或配置选项。") | ComputingBrands.kif 3181-3181 | |
| (documentation HomeScreen ChineseTraditionalLanguage "一個顯示在現代裝置裡的影像用來苗素在 Computer 一般常用的程式或配置選項。") | ComputingBrands.kif 3180-3180 | |
| (documentation HomeScreen EnglishLanguage "An image displayed in most modern devices that depicts commonly used options for programs or configuration options on a Computer.") | ComputingBrands.kif 3177-3179 | |
| (documentation HomeScreen JapaneseLanguage "プログラムで一般的に使用されるオプションや、 Computerの設定オプションが描写されるほとんどの最新のデバイスはイメージが表示される。") | ComputingBrands.kif 3182-3183 | |
| (subclass HomeScreen ComputerDesktopImage) | ComputingBrands.kif 3176-3176 | 主頁面 是 ComputerDesktopImage 的 subclass |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage HomeScreen "主頁面") | ComputingBrands.kif 3187-3187 | |
| (termFormat ChineseTraditionalLanguage HomeScreen "主頁面") | ComputingBrands.kif 3186-3186 | |
| (termFormat EnglishLanguage HomeScreen "home screen") | ComputingBrands.kif 3185-3185 | |
| (termFormat JapaneseLanguage HomeScreen "ホームスクリーン") | ComputingBrands.kif 3188-3188 |
| consequent |
|
|
| (=> (and (holdsDuring ?T (attribute ?X Booting)) (holdsDuring ?T2 (attribute ?X HostReady)) (equal ?T2 (ImmediateFutureFn (WhenFn ?T))) (instance ?DIS ComputerDisplay) (connectedEngineeringComponents ?DIS ?X)) (modalAttribute (exists (?HS) (and (instance ?HS HomeScreen) (displayedUpon ?HS ?DIS))) Likely)) |
ComputingBrands.kif 3231-3245 |
|
|
|