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

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