| Importance-Strictness | |
| appearance as argument number 1 |
|
|
| (documentation Importance-Strictness EnglishLanguage "An attribute that applies to a RealtimeSystem just in case it is designed and implemented to meet the more important requirements first.") | QoSontology.kif 1583-1585 | |
| (subclass Importance-Strictness StrictnessAttribute) | QoSontology.kif 1582-1582 | subclass Importance-Strictness and StrictnessAttribute |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Importance-Strictness "重要性-严格") | domainEnglishFormat.kif 29299-29299 | termFormat ChineseLanguage, Importance-Strictness and "重要性-严格" |
| (termFormat ChineseTraditionalLanguage Importance-Strictness "重要性-嚴格") | domainEnglishFormat.kif 29298-29298 | termFormat ChineseTraditionalLanguage, Importance-Strictness and "重要性-嚴格" |
| (termFormat EnglishLanguage Importance-Strictness "importance- strictness") | domainEnglishFormat.kif 29297-29297 | termFormat EnglishLanguage, Importance-Strictness and "importance- strictness" |
| consequent |
|
|
| (=> (strictness ?System Hybrid-Strictness) (or (and (strictness ?System Importance-Strictness) (strictness ?System Utility-Strictness)) (and (strictness ?System Importance-Strictness) (strictness ?System Hard-Strictness)) (and (strictness ?System Importance-Strictness) (strictness ?System Firm-Strictness)) (and (strictness ?System Importance-Strictness) (strictness ?System Soft-Strictness)))) |
QoSontology.kif 1600-1614 |
|
|
|
|