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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - HomeScreen
HomeScreen(home screen)home_screen, ホームスクリーン, 主頁面

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


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

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


(termFormat ChineseLanguage HomeScreen "主頁面") ComputingBrands.kif 3007-3007 "主頁面" is the printable form of home screen in ChineseLanguage
(termFormat ChineseTraditionalLanguage HomeScreen "主頁面") ComputingBrands.kif 3006-3006 "主頁面" is the printable form of home screen in ChineseTraditionalLanguage
(termFormat EnglishLanguage HomeScreen "home screen") ComputingBrands.kif 3005-3005 "home screen" is the printable form of home screen in english language
(termFormat JapaneseLanguage HomeScreen "ホームスクリーン") ComputingBrands.kif 3008-3008 "ホームスクリーン" is the printable form of home screen in japanese language

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 3049-3063


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