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 O argumento numero 1 de strictness e' uma instancia de RealtimeSystem
(domain strictness 2 StrictnessAttribute) QoSontology.kif 1556-1556 O argumento numero 2 de strictness e' uma instancia de StrictnessAttribute
(instance strictness BinaryPredicate) QoSontology.kif 1554-1554 strictness e' uma instancia de Predicado Binario
(subrelation strictness property) QoSontology.kif 1553-1553 strictness e' uma sub-relacao de 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 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