TreeView Knowledge Base Browser

appearance as argument number 1

(subrelation status property)	QoSontology.kif 892-892	status is a subrelation of property
(instance status BinaryPredicate)	QoSontology.kif 893-893	status is an instance of binary predicate
(domain status 1 ComputerProcess)	QoSontology.kif 894-894	The number 1 argument of status is an instance of computer process
(domain status 2 ProcessStatus)	QoSontology.kif 895-895	The number 2 argument of status is an instance of process status
(documentation status EnglishLanguage "(status ?PROCESS ?STATUS) holds if ?STATUS is the current status of ?PROCESS.")	QoSontology.kif 896-896	The number 2 argument of status is an instance of process status

appearance as argument number 2

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

antecedent

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

If process failure is the status of X and X has the purpose Y, then Y doesn't hold during immediately before the time of existence of X