strictness - Sigma Knowledge base Browser

appearance as argument number 1

(documentation strictness EnglishLanguage "(strictness ?System ?Attribute) holds if the StrictnessAttribute ?Attribute describes the RealtimeSystem ?System.")	QoSontology.kif 1663-1665
(domain strictness 1 RealtimeSystem)	QoSontology.kif 1661-1661	The number 1 argument of strictness is an instance of realtime system
(domain strictness 2 StrictnessAttribute)	QoSontology.kif 1662-1662	The number 2 argument of strictness is an instance of strictness attribute
(instance strictness BinaryPredicate)	QoSontology.kif 1660-1660	strictness is an instance of binary predicate
(subrelation strictness property)	QoSontology.kif 1659-1659	strictness is a subrelation of property

appearance as argument number 2

(format ChineseLanguage strictness "%1 有 strictness %2 ")	domainEnglishFormat.kif 4662-4662
(format ChineseTraditionalLanguage strictness "%1 有 strictness %2 ")	domainEnglishFormat.kif 4661-4661
(format EnglishLanguage strictness "%1 has strictness %2")	domainEnglishFormat.kif 4660-4660
(termFormat ChineseLanguage strictness "严格")	domainEnglishFormat.kif 55659-55659
(termFormat ChineseTraditionalLanguage strictness "嚴格")	domainEnglishFormat.kif 55658-55658
(termFormat EnglishLanguage strictness "strictness")	domainEnglishFormat.kif 55657-55657

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 1701-1715

consequent

QoSontology.kif 1701-1715