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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Importance-Strictness
Importance-Strictness

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


(documentation Importance-Strictness EnglishLanguage "An attribute that applies to a RealtimeSystem just in case it is designed and implemented to meet the more important requirements first.") QoSontology.kif 1583-1585
(subclass Importance-Strictness StrictnessAttribute) QoSontology.kif 1582-1582 subclass Importance-Strictness and StrictnessAttribute

appearance as argument number 2
-------------------------


(termFormat ChineseLanguage Importance-Strictness "重要性-严格") domainEnglishFormat.kif 29299-29299 termFormat ChineseLanguage, Importance-Strictness and "重要性-严格"
(termFormat ChineseTraditionalLanguage Importance-Strictness "重要性-嚴格") domainEnglishFormat.kif 29298-29298 termFormat ChineseTraditionalLanguage, Importance-Strictness and "重要性-嚴格"
(termFormat EnglishLanguage Importance-Strictness "importance- strictness") domainEnglishFormat.kif 29297-29297 termFormat EnglishLanguage, Importance-Strictness and "importance- strictness"

consequent
-------------------------


(=>
    (strictness ?System Hybrid-Strictness)
    (or
        (and
            (strictness ?System Importance-Strictness)
            (strictness ?System Utility-Strictness))
        (and
            (strictness ?System Importance-Strictness)
            (strictness ?System Hard-Strictness))
        (and
            (strictness ?System Importance-Strictness)
            (strictness ?System Firm-Strictness))
        (and
            (strictness ?System Importance-Strictness)
            (strictness ?System Soft-Strictness))))
QoSontology.kif 1600-1614


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners