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 1562-1564
(domain strictness 1 RealtimeSystem) QoSontology.kif 1560-1560 domain strictness, 1 and RealtimeSystem
(domain strictness 2 StrictnessAttribute) QoSontology.kif 1561-1561 domain strictness, 2 and StrictnessAttribute
(instance strictness BinaryPredicate) QoSontology.kif 1559-1559 instance strictness and BinaryPredicate
(subrelation strictness property) QoSontology.kif 1558-1558 subrelation strictness and property

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


(format ChineseLanguage strictness "%1 有 strictness %2 ") domainEnglishFormat.kif 4663-4663
(format ChineseTraditionalLanguage strictness "%1 有 strictness %2 ") domainEnglishFormat.kif 4662-4662
(format EnglishLanguage strictness "%1 has strictness %2") domainEnglishFormat.kif 4661-4661
(termFormat ChineseLanguage strictness "严格") domainEnglishFormat.kif 55519-55519
(termFormat ChineseTraditionalLanguage strictness "嚴格") domainEnglishFormat.kif 55518-55518
(termFormat EnglishLanguage strictness "strictness") domainEnglishFormat.kif 55517-55517

antecedent
-------------------------


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

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