status |
appearance as argument number 1 |
(documentation status EnglishLanguage "(status ?PROCESS ?STATUS) holds if ?STATUS is the current status of ?PROCESS.") | QoSontology.kif 800-800 | |
(domain status 1 ComputerProcess) | QoSontology.kif 798-798 | Die Zahl 1 Argument von status ist ein fall von ComputerProcess %n{nicht} |
(domain status 2 ProcessStatus) | QoSontology.kif 799-799 | Die Zahl 2 Argument von status ist ein fall von ProcessStatus %n{nicht} |
(instance status BinaryPredicate) | QoSontology.kif 797-797 | status ist ein fall von BinaryPredicate %n{nicht} |
(subrelation status property) | QoSontology.kif 796-796 | status ist eine teilrelation von eigenschaft |
appearance as argument number 2 |
(format ChineseLanguage status "%2 是 %1 的 status ") | domainEnglishFormat.kif 4634-4634 | |
(format ChineseTraditionalLanguage status "%2 是 %1 的 status ") | domainEnglishFormat.kif 4633-4633 | |
(format EnglishLanguage status "%2 is the status of %1") | domainEnglishFormat.kif 4632-4632 | |
(termFormat ChineseLanguage status "状态") | domainEnglishFormat.kif 55196-55196 | |
(termFormat ChineseTraditionalLanguage status "狀態") | domainEnglishFormat.kif 55195-55195 | |
(termFormat EnglishLanguage status "status") | domainEnglishFormat.kif 55194-55194 |
antecedent |
(=> (and (status ?Process ProcessFailure) (hasPurpose ?Process ?Purpose)) (not (holdsDuring (ImmediatePastFn (WhenFn ?Process)) ?Purpose))) |
QoSontology.kif 802-809 |
|