Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - strictness
strictness

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


(subrelation strictness property) QoSontology.kif 1666-1666 strictness is a subrelation of property
(instance strictness BinaryPredicate) QoSontology.kif 1667-1667 strictness is an instance of binary predicate
(domain strictness 1 RealtimeSystem) QoSontology.kif 1668-1668 The number 1 argument of strictness is an instance of realtime system
(domain strictness 2 StrictnessAttribute) QoSontology.kif 1669-1669 The number 2 argument of strictness is an instance of strictness attribute
(documentation strictness EnglishLanguage "(strictness ?System ?Attribute) holds if the StrictnessAttribute ?Attribute describes the RealtimeSystem ?System.") QoSontology.kif 1670-1672 The number 2 argument of strictness is an instance of strictness attribute

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


(format EnglishLanguage strictness "%1 has strictness %2") domainEnglishFormat.kif 4660-4660
(format ChineseTraditionalLanguage strictness "%1 有 strictness %2 ") domainEnglishFormat.kif 4661-4661
(format ChineseLanguage strictness "%1 有 strictness %2 ") domainEnglishFormat.kif 4662-4662
(termFormat EnglishLanguage strictness "strictness") domainEnglishFormat.kif 55621-55621
(termFormat ChineseTraditionalLanguage strictness "嚴格") domainEnglishFormat.kif 55622-55622
(termFormat ChineseLanguage strictness "严格") domainEnglishFormat.kif 55623-55623

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 1714-1728 If X has strictness hybrid strictness, then At least one of the following holds: (1) X has strictness importance strictness and X has strictness utility strictness (2) X has strictness importance strictness and X has strictness hard strictness (3) X has strictness importance strictness and X has strictness firm strictness (4) X has strictness importance- strictness and X has strictness soft strictness

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 1714-1728 If X has strictness hybrid strictness, then At least one of the following holds: (1) X has strictness importance strictness and X has strictness utility strictness (2) X has strictness importance strictness and X has strictness hard strictness (3) X has strictness importance strictness and X has strictness firm strictness (4) X has strictness importance- strictness and X has strictness soft strictness


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.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners