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	The number 1 argument of strictness is an instance of realtime system
(domain strictness 2 StrictnessAttribute)	QoSontology.kif 1556-1556	The number 2 argument of strictness is an instance of strictness attribute
(instance strictness BinaryPredicate)	QoSontology.kif 1554-1554	strictness is an instance of binary predicate
(subrelation strictness property)	QoSontology.kif 1553-1553	strictness is a subrelation of property

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 55666-55666
(termFormat ChineseTraditionalLanguage strictness "嚴格")	domainEnglishFormat.kif 55665-55665
(termFormat EnglishLanguage strictness "strictness")	domainEnglishFormat.kif 55664-55664

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