TreeView Knowledge Base Browser

appearance as argument number 1

(instance ProcessFailure ProcessStatus)	QoSontology.kif 883-883	Process failure is an instance of process status
(documentation ProcessFailure EnglishLanguage "An attribute that denotes the failure of the Process to achieve its goal.")	QoSontology.kif 884-885	Process failure is an instance of process status

appearance as argument number 2

(contraryAttribute ProcessSuccess ProcessFailure)	QoSontology.kif 888-888	Process success is the opposite of process failure
(termFormat EnglishLanguage ProcessFailure "process failure")	domainEnglishFormat.kif 47497-47497	Process success is the opposite of process failure
(termFormat ChineseTraditionalLanguage ProcessFailure "過程失敗")	domainEnglishFormat.kif 47498-47498	Process success is the opposite of process failure
(termFormat ChineseLanguage ProcessFailure "过程失败")	domainEnglishFormat.kif 47499-47499	Process success is the opposite of process failure

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