HostReady - Sigma Knowledge base Browser

appearance as argument number 1

(contraryAttribute HostReady HostDown Booting)	ComputingBrands.kif 3122-3122	Host ready is the opposite of host down
(instance HostReady ComputerStatus)	QoSontology.kif 2248-2248	Host ready is an instance of computer status
(documentation HostReady EnglishLanguage "An attribute which applies to a computer that is functional, operating properly, and ready to receive work requests.")	QoSontology.kif 2249-2250	Host ready is an instance of computer status

appearance as argument number 2

(termFormat EnglishLanguage HostReady "host ready")	domainEnglishFormat.kif 28667-28667
(termFormat ChineseTraditionalLanguage HostReady "準備好主持")	domainEnglishFormat.kif 28668-28668
(termFormat ChineseLanguage HostReady "准备好主持")	domainEnglishFormat.kif 28669-28669

antecedent

(=>
    (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