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

Formal Language: 



KB Term:  Term intersection
English Word: 

  AinuTurkicLanguage

Sigma KEE - HybridStrictness
HybridStrictness

appearance as argument number 1
-------------------------


(documentation HybridStrictness EnglishLanguage "An attribute that applies to a RealtimeSystem just in case the strictness of the system is a combination of Hard/ Firm/ Soft-Strictness with Importance-Strictness or a combination of Utility-Strictness with Importance-Strictness.") QoSontology.kif 1590-1593
(subclass HybridStrictness StrictnessAttribute) QoSontology.kif 1589-1589 HybridStrictness est une sous-classe de StrictnessAttribute

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


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