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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 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 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