HybridStrictness - Sigma Knowledge base Browser

appearance as argument number 1

(documentation HybridStrictness EnglishLanguage "An attribute that applies to a RealtimeSystem just in case the strictness of the system is a combination of Hard/ Firm/ Soft_Strictness with Importance_Strictness or a combination of Utility_Strictness with Importance_Strictness.")	QoSontology.kif 1716-1719
(subclass HybridStrictness StrictnessAttribute)	QoSontology.kif 1714-1714	Hybrid strictness is a subclass of strictness attribute

appearance as argument number 2

QoSontology.kif 1715-1715

antecedent

(=>
    (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 1721-1735