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 1557-1559
(domain strictness 1 RealtimeSystem)	QoSontology.kif 1555-1555	域嚴格, 1 and 實時系統
(domain strictness 2 StrictnessAttribute)	QoSontology.kif 1556-1556	域嚴格, 2 and 嚴格屬性
(instance strictness BinaryPredicate)	QoSontology.kif 1554-1554	例嚴格 and BinaryPredicate
(subrelation strictness property)	QoSontology.kif 1553-1553	子關係嚴格 and 屬性

appearance as argument number 2

(format ChineseLanguage strictness "%1 有 strictness %2 ")	domainEnglishFormat.kif 4658-4658
(format ChineseTraditionalLanguage strictness "%1 有 strictness %2 ")	domainEnglishFormat.kif 4657-4657
(format EnglishLanguage strictness "%1 has strictness %2")	domainEnglishFormat.kif 4656-4656
(termFormat ChineseLanguage strictness "严格")	domainEnglishFormat.kif 55626-55626
(termFormat ChineseTraditionalLanguage strictness "嚴格")	domainEnglishFormat.kif 55625-55625
(termFormat EnglishLanguage strictness "strictness")	domainEnglishFormat.kif 55624-55624

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 1595-1609

consequent

QoSontology.kif 1595-1609