Importance-Strictness - Sigma Knowledge base Browser

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 29314-29314
(termFormat ChineseTraditionalLanguage Importance-Strictness "重要性-嚴格")	domainEnglishFormat.kif 29313-29313
(termFormat EnglishLanguage Importance-Strictness "importance- strictness")	domainEnglishFormat.kif 29312-29312

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