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
(domain strictness 2 StrictnessAttribute)	QoSontology.kif 1556-1556
(instance strictness BinaryPredicate)	QoSontology.kif 1554-1554
(subrelation strictness property)	QoSontology.kif 1553-1553

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 55628-55628
(termFormat ChineseTraditionalLanguage strictness "嚴格")	domainEnglishFormat.kif 55627-55627
(termFormat EnglishLanguage strictness "strictness")	domainEnglishFormat.kif 55626-55626

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