HomeScreen - Sigma Knowledge base Browser

appearance as argument number 1

(subclass HomeScreen ComputerDesktopImage)	ComputingBrands.kif 3083-3083	Home screen is a subclass of computer desktop image
(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 3084-3086	Home screen is a subclass of computer desktop image
(documentation HomeScreen ChineseTraditionalLanguage "一個顯示在現代裝置裡的影像用來苗素在 Computer 一般常用的程式或配置選項。")	ComputingBrands.kif 3087-3087	Home screen is a subclass of computer desktop image
(documentation HomeScreen ChineseLanguage "一个显示在现代装置里的影像用来苗素在 Computer 一般常用的程式或配置选项。")	ComputingBrands.kif 3088-3088	Home screen is a subclass of computer desktop image
(documentation HomeScreen JapaneseLanguage "プログラムで一般的に使用されるオプションや、 Computerの設定オプションが描写されるほとんどの最新のデバイスはイメージが表示される。")	ComputingBrands.kif 3089-3090	Home screen is a subclass of computer desktop image

appearance as argument number 2

(termFormat EnglishLanguage HomeScreen "home screen")	ComputingBrands.kif 3092-3092
(termFormat ChineseTraditionalLanguage HomeScreen "主頁面")	ComputingBrands.kif 3093-3093
(termFormat ChineseLanguage HomeScreen "主頁面")	ComputingBrands.kif 3094-3094
(termFormat JapaneseLanguage HomeScreen "ホームスクリーン")	ComputingBrands.kif 3095-3095

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))

If booting up is an attribute of X holds during Y, host ready is an attribute of X holds during Z, equal Z and immediately after the time of existence of Y, W is an instance of computer display, and W is connected to X, then the statement there exists V such that V is an instance of home screen and V is displayed on W has the modal force of likely