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 1552-1554
(domain strictness 1 RealtimeSystem) QoSontology.kif 1550-1550 strictness の数値 1 引数は RealtimeSysteminstance では %n
(domain strictness 2 StrictnessAttribute) QoSontology.kif 1551-1551 strictness の数値 2 引数は StrictnessAttributeinstance では %n
(instance strictness BinaryPredicate) QoSontology.kif 1549-1549 strictness2進述語instance では %n
(subrelation strictness property) QoSontology.kif 1548-1548 strictnesspropertysubrelation では %n

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 55567-55567 termFormat ChineseLanguage, strictness and "严格"
(termFormat ChineseTraditionalLanguage strictness "嚴格") domainEnglishFormat.kif 55566-55566 termFormat ChineseTraditionalLanguage, strictness and "嚴格"
(termFormat EnglishLanguage strictness "strictness") domainEnglishFormat.kif 55565-55565 termFormat EnglishLanguage, strictness and "strictness"

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

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


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