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 800-800
(domain status 1 ComputerProcess)	QoSontology.kif 798-798	状态的 1 数量是电脑程序的 instance
(domain status 2 ProcessStatus)	QoSontology.kif 799-799	状态的 2 数量是过程状态的 instance
(instance status BinaryPredicate)	QoSontology.kif 797-797	状态是二元谓语的 instance
(subrelation status property)	QoSontology.kif 796-796	状态是特性的 subrelation

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 55196-55196
(termFormat ChineseTraditionalLanguage status "狀態")	domainEnglishFormat.kif 55195-55195
(termFormat EnglishLanguage status "status")	domainEnglishFormat.kif 55194-55194

antecedent

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

QoSontology.kif 802-809