Browsing Interface : Welcome guest : log in		 [  Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  strictness

 Sigma KEE - strictness
strictness

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


(=>
    (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


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners