status - Sigma Knowledge base Browser

appearance as argument number 1

(documentation status EnglishLanguage "(status ?PROCESS ?STATUS) holds if ?STATUS is the current status of ?PROCESS.")	QoSontology.kif 800-800
(domain status 1 ComputerProcess)	QoSontology.kif 798-798	Die Zahl 1 Argument von status ist ein fall von ComputerProcess %n{nicht}
(domain status 2 ProcessStatus)	QoSontology.kif 799-799	Die Zahl 2 Argument von status ist ein fall von ProcessStatus %n{nicht}
(instance status BinaryPredicate)	QoSontology.kif 797-797	status ist ein fall von BinaryPredicate %n{nicht}
(subrelation status property)	QoSontology.kif 796-796	status ist eine teilrelation von eigenschaft

appearance as argument number 2

(format ChineseLanguage status "%2 是 %1 的 status ")	domainEnglishFormat.kif 4634-4634
(format ChineseTraditionalLanguage status "%2 是 %1 的 status ")	domainEnglishFormat.kif 4633-4633
(format EnglishLanguage status "%2 is the status of %1")	domainEnglishFormat.kif 4632-4632
(termFormat ChineseLanguage status "状态")	domainEnglishFormat.kif 55194-55194
(termFormat ChineseTraditionalLanguage status "狀態")	domainEnglishFormat.kif 55193-55193
(termFormat EnglishLanguage status "status")	domainEnglishFormat.kif 55192-55192

antecedent

(=>
    (and
        (status ?Process ProcessFailure)
        (hasPurpose ?Process ?Purpose))
    (not
        (holdsDuring
            (ImmediatePastFn
                (WhenFn ?Process)) ?Purpose)))

QoSontology.kif 802-809