TreeView Knowledge Base Browser

appearance as argument number 1

(subrelation strictness property)	QoSontology.kif 1666-1666	strictness is a subrelation of property
(instance strictness BinaryPredicate)	QoSontology.kif 1667-1667	strictness is an instance of binary predicate
(domain strictness 1 RealtimeSystem)	QoSontology.kif 1668-1668	The number 1 argument of strictness is an instance of realtime system
(domain strictness 2 StrictnessAttribute)	QoSontology.kif 1669-1669	The number 2 argument of strictness is an instance of strictness attribute
(documentation strictness EnglishLanguage "(strictness ?System ?Attribute) holds if the StrictnessAttribute ?Attribute describes the RealtimeSystem ?System.")	QoSontology.kif 1670-1672	The number 2 argument of strictness is an instance of strictness attribute

appearance as argument number 2

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

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))))

consequent

QoSontology.kif 1714-1728