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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - ProcessFailure
ProcessFailure

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 ProcessFailureProcessStatusinstance では %n

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


(contraryAttribute ProcessSuccess ProcessFailure) QoSontology.kif 792-792 ProcessSuccessProcessFailuredisjoint では %n
(termFormat ChineseLanguage ProcessFailure "过程失败") domainEnglishFormat.kif 47504-47504
(termFormat ChineseTraditionalLanguage ProcessFailure "過程失敗") domainEnglishFormat.kif 47503-47503
(termFormat EnglishLanguage ProcessFailure "process failure") domainEnglishFormat.kif 47502-47502

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