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 894-895
(instance ProcessFailure ProcessStatus) QoSontology.kif 893-893 Process failure is an instance of process status

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


(contraryAttribute ProcessSuccess ProcessFailure) QoSontology.kif 898-898 Process success is the opposite of process failure
(termFormat ChineseLanguage ProcessFailure "过程失败") domainEnglishFormat.kif 47535-47535 Process success is the opposite of process failure
(termFormat ChineseTraditionalLanguage ProcessFailure "過程失敗") domainEnglishFormat.kif 47534-47534 Process success is the opposite of process failure
(termFormat EnglishLanguage ProcessFailure "process failure") domainEnglishFormat.kif 47533-47533 Process success is the opposite of process failure

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


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


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