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 |
|
![]() |
![]() |