Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - ProcessFailure
ProcessFailure(process failure)

appearance as argument number 1
-------------------------


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

appearance as argument number 2
-------------------------


(contraryAttribute ProcessSuccess ProcessFailure) QoSontology.kif 792-792 Process success is the opposite of process failure
(termFormat ChineseLanguage ProcessFailure "过程失败") domainEnglishFormat.kif 47542-47542 Process success is the opposite of process failure
(termFormat ChineseTraditionalLanguage ProcessFailure "過程失敗") domainEnglishFormat.kif 47541-47541 Process success is the opposite of process failure
(termFormat EnglishLanguage ProcessFailure "process failure") domainEnglishFormat.kif 47540-47540 Process success is the opposite of process failure

antecedent
-------------------------


(=>
    (and
        (status ?Process ProcessFailure)
        (hasPurpose ?Process ?Purpose))
    (not
        (holdsDuring
            (ImmediatePastFn
                (WhenFn ?Process)) ?Purpose)))
QoSontology.kif 802-809


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners