FirmStrictness - Sigma Knowledge base Browser

appearance as argument number 1

(documentation FirmStrictness EnglishLanguage "An attribute that applies to a RealtimeSystem just in case a fixed percentage of requirements is met.")	QoSontology.kif 1672-1674
(subclass FirmStrictness StrictnessAttribute)	QoSontology.kif 1671-1671	FirmStrictness is a subclass of strictness attribute

consequent

(=>
    (strictness ?System HybridStrictness)
    (or
        (and
            (strictness ?System ImportanceStrictness)
            (strictness ?System UtilityStrictness))
        (and
            (strictness ?System ImportanceStrictness)
            (strictness ?System HardStrictness))
        (and
            (strictness ?System ImportanceStrictness)
            (strictness ?System FirmStrictness))
        (and
            (strictness ?System Importance_Strictness)
            (strictness ?System SoftStrictness))))

QoSontology.kif 1701-1715