Restartable |
appearance as argument number 1 |
(documentation Restartable EnglishLanguage "The attribute which denotes that a program can be restarted.") | QoSontology.kif 1234-1235 | |
(instance Restartable SoftwareAttribute) | QoSontology.kif 1233-1233 |
appearance as argument number 2 |
(termFormat ChineseLanguage Restartable "可重新启动") | domainEnglishFormat.kif 49768-49768 | |
(termFormat ChineseTraditionalLanguage Restartable "可重新啟動") | domainEnglishFormat.kif 49767-49767 | |
(termFormat EnglishLanguage Restartable "restartable") | domainEnglishFormat.kif 49766-49766 |
consequent |
(=> (property ?Program ReplicationsOnSameHostOK) (property ?Program Restartable)) |
QoSontology.kif 1290-1292 |