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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 is a subclass of strictness attribute

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 full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



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