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 1677-1679
(domain strictness 1 RealtimeSystem)	QoSontology.kif 1675-1675	strictness の数値 1 引数は RealtimeSystem の instance では
(domain strictness 2 StrictnessAttribute)	QoSontology.kif 1676-1676	strictness の数値 2 引数は StrictnessAttribute の instance では
(instance strictness BinaryPredicate)	QoSontology.kif 1674-1674	strictness は 2進述語の instance では
(subrelation strictness property)	QoSontology.kif 1673-1673	strictness は property の subrelation では

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

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

consequent

QoSontology.kif 1721-1735