TreeView 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 909-909
(domain status 1 ComputerProcess)	QoSontology.kif 907-907
(domain status 2 ProcessStatus)	QoSontology.kif 908-908
(instance status BinaryPredicate)	QoSontology.kif 906-906
(subrelation status property)	QoSontology.kif 905-905

appearance as argument number 2

(format ChineseLanguage status "%2 是 %1 的 status ")	domainEnglishFormat.kif 4638-4638
(format ChineseTraditionalLanguage status "%2 是 %1 的 status ")	domainEnglishFormat.kif 4637-4637
(format EnglishLanguage status "%2 is the status of %1")	domainEnglishFormat.kif 4636-4636
(termFormat ChineseLanguage status "状态")	domainEnglishFormat.kif 55198-55198
(termFormat ChineseTraditionalLanguage status "狀態")	domainEnglishFormat.kif 55197-55197
(termFormat EnglishLanguage status "status")	domainEnglishFormat.kif 55196-55196

antecedent

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

QoSontology.kif 911-918