| Hard-Strictness | |
| appearance as argument number 1 |
|
|
| (documentation Hard-Strictness EnglishLanguage "An attribute that applies to a RealtimeSystem just in case all deadlines are met.") | QoSontology.kif 1567-1568 | |
| (subclass Hard-Strictness StrictnessAttribute) | QoSontology.kif 1566-1566 | subclass Hard-Strictness and StrictnessAttribute |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Hard-Strictness "难-严格") | domainEnglishFormat.kif 27343-27343 | termFormat ChineseLanguage, Hard-Strictness and "难-严格" |
| (termFormat ChineseTraditionalLanguage Hard-Strictness "難-嚴格") | domainEnglishFormat.kif 27342-27342 | termFormat ChineseTraditionalLanguage, Hard-Strictness and "難-嚴格" |
| (termFormat EnglishLanguage Hard-Strictness "hard- strictness") | domainEnglishFormat.kif 27341-27341 | termFormat EnglishLanguage, Hard-Strictness and "hard- 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 |
|
|
|
|